add timshell AI server - thanks Jacques!

2015-09-13 21:31:15 +02:00 · 2015-09-13 21:31:15 +02:00 · 34019c1009
parent 365828c952
commit 34019c1009
1 changed files with 2 additions and 2 deletions
--- a/bin/prod/deploy
+++ b/bin/prod/deploy
@ -26,8 +26,8 @@ elif [ $mode = "cammy" ]; then
 elif [ $mode = "adele" ]; then
  REMOTE="adele"
  REMOTE_DIR="/home/lichess"
-elif [ $mode = "frank" ]; then
-  REMOTE="frank"
+elif [ $mode = "timshell" ]; then
+  REMOTE="timshell"
  REMOTE_DIR="/home/lichess"
 else
  echo "Unknown deploy target $mode"