iddb: Use gwc1c as XMLRPC server.
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-bii_scripts/bin/iddb new-bii_scripts/bin/iddb
--- old-bii_scripts/bin/iddb 2022-09-26 06:23:06.695445750 +0200
+++ new-bii_scripts/bin/iddb 2022-09-26 06:23:06.695445750 +0200
@@ -47,7 +47,7 @@
HTTPEXCEPTION= http.client.RemoteDisconnected
DBNAME="id_db"
-HOST="gwc2c.acc.bessy.de"
+HOST="gwc1c.acc.bessy.de"
PORT=7643
TIMEOUT=5.0 # timeout for XMLRPC
patch 923ab2785a2bfa7997fe490d90f3339fae361374
Author: Goetz.Pfeiffer@helmholtz-berlin.de
Date: Tue May 24 15:23:20 CEST 2022
* iddb: Use gwc1c as XMLRPC server