Remove empty tmp diff in case of error

cms-DQM · Jul 1, 2024 · 2d5c6a1 · 2d5c6a1
1 parent 51085a6
commit 2d5c6a1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/deploy_dqmgui.sh b/deploy_dqmgui.sh
@@ -66,7 +66,7 @@ _sanitize_string() {
     echo "${s,,}"            # convert to lowercase
 }
 
-# Preliminary checks to do before installing the GUI
+# oary checks to do before installing the GUI
 preliminary_checks() {
     # Display all commands if asked to
     if [ "$VERBOSE_LOGGING" -ne 0 ]; then
@@ -102,6 +102,7 @@ preliminary_checks() {
                 echo "INFO: Did not find $pr diff locally, trying downloading it from $DMWM_PRS_URL_BASE"
                 if ! curl --silent -L "${DMWM_PRS_URL_BASE}/${pr}.diff" >"/tmp/${pr}.diff"; then
                     echo "ERROR: Could not download diff for PR $pr from $DMWM_PRS_URL_BASE"
+                    rm -rf "/tmp/${pr}.diff"
                     exit 1
                 fi
             fi