Restart webtry to pick up changes.

experimental/webtry/setup/webtry_setup.sh

Index: experimental/webtry/setup/webtry_setup.sh
diff --git a/experimental/webtry/setup/webtry_setup.sh b/experimental/webtry/setup/webtry_setup.sh
index 3a8e063231436778f24e058277a71166ea3fae82..6d41c89526446b99c798fceef8fa0b60f9ea743a 100755
--- a/experimental/webtry/setup/webtry_setup.sh
+++ b/experimental/webtry/setup/webtry_setup.sh
@@ -3,7 +3,9 @@
 # Script to setup a GCE instance to run the webtry server.
 # For full instructions see the README file.
 sudo apt-get install schroot debootstrap monit squid3
-sudo apt-get install g++ libfreetype6 libfreetype6-dev libpng12-0 libpng12-dev libglu1-mesa-dev mesa-common-dev freeglut3-dev libgif-dev libfontconfig libfontconfig-dev
+sudo apt-get install g++ libfreetype6 libfreetype6-dev libpng12-0 libpng12-dev \

[humper, 2014/10/03 10:07:03]

I think these apt-gets have moved into webtry_setup_jail.sh by now; probably
need to git rebase before reformatting the scripts.

[tfarina, 2014/10/03 11:57:37]

ops, rebased. Fixed.

+libglu1-mesa-dev mesa-common-dev freeglut3-dev libgif-dev libfontconfig \
+libfontconfig-dev
 
 echo "Adding the webtry user account"
 sudo adduser webtry
@@ -32,3 +34,5 @@ sudo chmod 744 /etc/init.d/webtry
 # Confirm that monit is happy.
 sudo monit -t
 sudo monit reload
+
+sudo /etc/init.d/webtry restart

[humper, 2014/10/03 10:07:03]

I think this would be better in continue_install.sh instead of here; that way we
can use continue_install.sh as a standalone way to update webtry, and
webtry_setup.sh to set up the running environment.

[tfarina, 2014/10/03 11:57:37]

I haven't moved it there, because we happen to call continue_install.sh at line
40, which is before we copy webtry_init to /etc/init.d/webtry