1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-21 10:26:06 +03:00

Catch lost connection while uploading

This commit is contained in:
John Doe 2015-07-03 14:08:10 +03:00 committed by Ivan Grokhotkov
parent 6f2069deac
commit b797287359

View File

@ -56,7 +56,14 @@ def serve(remoteAddr, remotePort, filename):
if not chunk: break if not chunk: break
sys.stderr.write('.') sys.stderr.write('.')
sys.stderr.flush() sys.stderr.flush()
try:
connection.sendall(chunk) connection.sendall(chunk)
except:
print('\nError Uploading', file=sys.stderr)
connection.close()
f.close()
sock.close()
return 1
print('\nWaiting for result...\n', file=sys.stderr) print('\nWaiting for result...\n', file=sys.stderr)
try: try:
@ -65,11 +72,13 @@ def serve(remoteAddr, remotePort, filename):
print('Result: %s' % data, file=sys.stderr) print('Result: %s' % data, file=sys.stderr)
connection.close() connection.close()
f.close() f.close()
sock.close()
return 0 return 0
except: except:
print('Result: No Answer!', file=sys.stderr) print('Result: No Answer!', file=sys.stderr)
connection.close() connection.close()
f.close() f.close()
sock.close()
return 1 return 1
finally: finally: