Update patch.py

do not patch controller/PostgreSQL.cpp
D4rk4 · Dec 19, 2021 · 6365fb5 · 6365fb5
1 parent dc65bbc
commit 6365fb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/patch/patch.py b/patch/patch.py
@@ -127,7 +127,7 @@ def main():
     # Modify node/Topology.cpp with world.c
     modifyTOPOLOGY(tFile, wFile)
     # Patch controller/PostgreSQL.cpp
-    patchPOSTGRESQL(pgFile, patchFile)
+    # patchPOSTGRESQL(pgFile, patchFile)
 
 
 main()