##// END OF EJS Templates
Fix writing server info files on Python 2
Thomas Kluyver -
Show More
@@ -727,8 +727,8 b' class NotebookApp(BaseIPythonApplication):'
727
727
728 def write_server_info_file(self):
728 def write_server_info_file(self):
729 """Write the result of server_info() to the JSON file info_file."""
729 """Write the result of server_info() to the JSON file info_file."""
730 with io.open(self.info_file, 'w', encoding='utf-8') as f:
730 with open(self.info_file, 'w') as f:
731 json.dump(self.server_info(), f)
731 json.dump(self.server_info(), f, indent=2)
732
732
733 def remove_server_info_file(self):
733 def remove_server_info_file(self):
734 """Remove the nbserver-<pid>.json file created for this server.
734 """Remove the nbserver-<pid>.json file created for this server.
General Comments 0
You need to be logged in to leave comments. Login now