From b630c9ee457dcb383d9a7e09f80209e2825ecdd9 Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Wed, 17 Jun 2015 08:07:47 +0200
Subject: [PATCH] oops. the name of the server is gruenbaer, not eressea

---
 s/install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/s/install b/s/install
index 9d2d5f4b0..a59c8aa46 100755
--- a/s/install
+++ b/s/install
@@ -29,4 +29,4 @@ done
 # install crontab, but only on the eressea server:
 HOST=`hostname`
 
-[ "eressea" = "$HOST" ] && crontab $ROOT/process/cron/crontab
+[ "gruenbaer" = "$HOST" ] && crontab $ROOT/process/cron/crontab