ArielGlenn has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/392387 )

Change subject: remove check for config file existence in cli utils
......................................................................

remove check for config file existence in cli utils

The underlying scripts will catch it, and with the new override
syntax the check no longer works.

Change-Id: Iaad9f0051c5ca4733ed61d974d17bb5dc493d596
---
M xmldumps-backup/do_7z_jobs.sh
M xmldumps-backup/do_pagerange_content_jobs.sh
2 files changed, 0 insertions(+), 8 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/dumps 
refs/changes/87/392387/1

diff --git a/xmldumps-backup/do_7z_jobs.sh b/xmldumps-backup/do_7z_jobs.sh
index 57043bd..eac6b92 100755
--- a/xmldumps-backup/do_7z_jobs.sh
+++ b/xmldumps-backup/do_7z_jobs.sh
@@ -69,10 +69,6 @@
     if [ -z "$WIKI" -o -z "$JOBINFO" -o -z "$DATE" -o -z "$CONFIGFILE" -o -z 
"$NUMJOBS" ]; then
         echo "$0: Mandatory options 'wiki', 'jobinfo', 'date', 'numjobs' and 
'config' must be specified"
         usage && exit 1
-    elif [ ! -f "$CONFIGFILE" ]; then
-            echo "Could not find config file: $CONFIGFILE"
-            echo "Exiting..."
-            exit 1
     fi
     # sanity check of date
     result=`date -d "$DATE"`
diff --git a/xmldumps-backup/do_pagerange_content_jobs.sh 
b/xmldumps-backup/do_pagerange_content_jobs.sh
index 6335dbc..8de912b 100644
--- a/xmldumps-backup/do_pagerange_content_jobs.sh
+++ b/xmldumps-backup/do_pagerange_content_jobs.sh
@@ -72,10 +72,6 @@
     if [ -z "$WIKI" -o -z "$JOBINFO" -o -z "$DATE" -o -z "$CONFIGFILE" -o -z 
"$NUMJOBS" ]; then
         echo "$0: Mandatory options 'wiki', 'jobinfo', 'date', 'numjobs' and 
'config' must be specified"
         usage
-    elif [ ! -f "$CONFIGFILE" ]; then
-            echo "Could not find config file: $CONFIGFILE"
-            echo "Exiting..."
-            exit 1
     fi
 }
 

-- 
To view, visit https://gerrit.wikimedia.org/r/392387
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Iaad9f0051c5ca4733ed61d974d17bb5dc493d596
Gerrit-PatchSet: 1
Gerrit-Project: operations/dumps
Gerrit-Branch: master
Gerrit-Owner: ArielGlenn <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to