Salome HOME
Set protocol=0 to pickle.dump in PortManager
authorGilles DAVID <gilles-g.david@edf.fr>
Thu, 26 Oct 2017 15:39:58 +0000 (15:39 +0000)
committerGilles DAVID <gilles-g.david@edf.fr>
Thu, 26 Oct 2017 15:40:00 +0000 (15:40 +0000)
commit696c5644268485cf3bd69dabdfaaf311945dba20
tree0deac727c7e776b166f10441c3849ac3cc46cc96
parentdf33ef4c4f1a3fdce093ae605b1145e353f6c053
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