petsc/no-xdrlib.patch

49 lines
1.7 KiB
Diff
Raw Normal View History

2024-08-06 09:54:44 +00:00
diff --git a/config/BuildSystem/RDict.py b/config/BuildSystem/RDict.py
index cc90f3e26c5..d68ab095e06 100755
--- a/config/BuildSystem/RDict.py
+++ b/config/BuildSystem/RDict.py
@@ -83,7 +83,7 @@ Arg class, which wraps the usual value.'''
def __init__(self, parentAddr = None, parentDirectory = None, load = 1, autoShutdown = 1, readonly = False):
import atexit
import time
- import xdrlib
+ #import xdrlib
self.logFile = None
self.setupLogFile()
@@ -98,8 +98,8 @@ Arg class, which wraps the usual value.'''
self.isServer = 0
self.readonly = readonly
self.parentDirectory = parentDirectory
- self.packer = xdrlib.Packer()
- self.unpacker = xdrlib.Unpacker('')
+ #self.packer = xdrlib.Packer()
+ #self.unpacker = xdrlib.Unpacker('')
self.stopCmd = pickle.dumps(('stop',))
self.writeLogLine('Greetings')
self.connectParent(self.parentAddr, self.parentDirectory)
@@ -116,8 +116,8 @@ Arg class, which wraps the usual value.'''
if 'parent' in d: del d['parent']
if 'saveTimer' in d: del d['saveTimer']
if '_setCommandLine' in d: del d['_setCommandLine']
- del d['packer']
- del d['unpacker']
+ #del d['packer']
+ #del d['unpacker']
del d['logFile']
return d
@@ -126,9 +126,9 @@ Arg class, which wraps the usual value.'''
self.logFile = open('RDict.log', 'a')
self.writeLogLine('Unpickling RDict')
self.__dict__.update(d)
- import xdrlib
- self.packer = xdrlib.Packer()
- self.unpacker = xdrlib.Unpacker('')
+ #import xdrlib
+ #self.packer = xdrlib.Packer()
+ #self.unpacker = xdrlib.Unpacker('')
self.connectParent(self.parentAddr, self.parentDirectory)
return