webrepl.html: Deselect previously selected file before reading

[mcauser]

Without this, when you select a file, make modifications and select the same file again, it does not read the latest changes, as the file inputs change event does not fire.

To work around, you have to select a different file, or cancel the file dialog to clear the field's value before trying your modified file again.

[dpgeorge]

This patch seems to work, although it's perhaps not the most elegant thing. Another option would be to load the contents of the file when the "Send to device" button is pressed, which would reload the file each time you send it. The disadvantage is that the UI can no longer tell you the size of the file before uploading.

[pfalcon]

This patch seems to work, although it's perhaps not the most elegant thing.

What's your concern? I had the same idea how to work around this - by explicitly resetting file selection widget to null somewhere.

[dpgeorge]

What's your concern?

Just that it adds extra callbacks/events, as opposed to resetting it in a pre-existing callback/function (like once the file transfer is finished). But really, it's fine like this.

[pfalcon]

Ah, right, I for example would think it make sense to reset that field somewhere at the "put" operation - at the end, or likely, at the beginning of it.

[dpgeorge]

But I think what's done here is the best for the user: if you select the file, but then make a change before putting, and then re-select it, the code here will reload it, which is what you want.

[pfalcon]

Right, so +1 from me (if it's tested to work ;-) ).

[dpgeorge]

I did test it.