From 696c5644268485cf3bd69dabdfaaf311945dba20 Mon Sep 17 00:00:00 2001 From: Gilles DAVID Date: Thu, 26 Oct 2017 15:39:58 +0000 Subject: [PATCH] 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 --- bin/PortManager.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/PortManager.py b/bin/PortManager.py index b135ab3b4..c842c7e71 100644 --- 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 -- 2.39.2