Set protocol=0 to pickle.dump in PortManager

Previously, a session opened in V9 couldn't be killed by another in V8:

File "PortManager.py", line 251, in getBusyPorts
    config = pickle.load(f)
    ValueError: unsupported pickle protocol: 3

diff --git a/bin/PortManager.py b/bin/PortManager.py
index b135ab3b4a44e3faf03750513997e3bad8973c1f..c842c7e71ae1c0d8e8786c181e8bc88f792f9893 100644 (file)
--- a/bin/PortManager.py
+++ b/bin/PortManager.py
@@ -177,7 +177,7 @@ def getPort(preferedPort=None):
     logger.debug("write config: %s"%str(config))
     try:
       with open(config_file, 'wb') as f:
-        pickle.dump(config, f)
+        pickle.dump(config, f, protocol=0)
     except IOError:
       pass
 
@@ -224,7 +224,7 @@ def releasePort(port):
     logger.debug("write config: %s"%str(config))
     try:
       with open(config_file, 'wb') as f:
-        pickle.dump(config, f)
+        pickle.dump(config, f, protocol=0)
     except IOError:
       pass