##// END OF EJS Templates
Fix bug when network map is disconnected (#13925)...
Matthias Bussonnier -
r28082:defefe64 merge
parent child Browse files
Show More
@@ -198,7 +198,16 b' which already exists. But you must first start the logging process with'
198 198 odata = u'\n'.join([u'#[Out]# %s' % s
199 199 for s in data.splitlines()])
200 200 write(u'%s\n' % odata)
201 self.logfile.flush()
201 try:
202 self.logfile.flush()
203 except OSError:
204 print("Failed to flush the log file.")
205 print(
206 f"Please check that {self.logfname} exists and have the right permissions."
207 )
208 print(
209 "Also consider turning off the log with `%logstop` to avoid this warning."
210 )
202 211
203 212 def logstop(self):
204 213 """Fully stop logging and close log file.
General Comments 0
You need to be logged in to leave comments. Login now