RefactoringRope/JsonServer.py

branch
server_client_variant
changeset 209
c1dce8630555
parent 208
df77c3a4976d
child 210
8b07adc3cb87
--- a/RefactoringRope/JsonServer.py	Sat Sep 30 14:52:32 2017 +0200
+++ b/RefactoringRope/JsonServer.py	Thu Oct 05 19:24:14 2017 +0200
@@ -130,7 +130,10 @@
         @type str
         """
         if idString:
-            connection = self.__connections[idString]
+            try:
+                connection = self.__connections[idString]
+            except KeyError:
+                connection = None
         else:
             connection = self.__connection
         
@@ -184,7 +187,10 @@
         cmd = json.dumps(commandDict) + '\n'
         
         if idString:
-            connection = self.__connections[idString]
+            try:
+                connection = self.__connections[idString]
+            except KeyError:
+                connection = None
         else:
             connection = self.__connection
         

eric ide

mercurial