Merge pull request #1531 from job/robust_daily

Improve daily.sh robustness
2026-08-01 16:26:55 +02:00 · 2015-07-28 20:08:28 +00:00
parent 7ab457351c 0e473d2538
commit 591b0bbcde
1 changed files with 8 additions and 6 deletions
@@ -1,8 +1,10 @@
-#!/bin/bash
+#!/usr/bin/env bash

-cd $(dirname $0) || exit 1
+set -eu

-if [ $(php daily.php -f update) -eq 1 ]; then 
+cd "$(dirname "$0")"
+
+if [ "$(php daily.php -f update)" -eq 1 ]; then
    git pull --quiet
    php includes/sql-schema/update.php
 fi