From ba5cc6adfbad0582d3462b897ddc99ab253a0c37 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Mon, 5 May 2008 09:33:10 +0000
Subject: [PATCH] tries to vserver start when re-building; useful when, for
 some reason - like, reboot - a build vserver is stopped

---
 vbuild-nightly.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/vbuild-nightly.sh b/vbuild-nightly.sh
index 60029166..12074870 100755
--- a/vbuild-nightly.sh
+++ b/vbuild-nightly.sh
@@ -339,6 +339,8 @@ function main () {
 	    set -x
 	    echo "XXXXXXXXXX $COMMAND: using existing vserver $BASE" $(date)
 	    show_env
+	    # start in case e.g. we just rebooted
+	    vserver ${BASE} start || :
 	    # update build
 	    vserver ${BASE} exec svn update /build
 	else
-- 
2.43.0