From 711f1f4bbf175ec145ac1d6b166792b67a198302 Mon Sep 17 00:00:00 2001 From: kev Date: Thu, 25 Dec 2014 18:05:12 +0800 Subject: [PATCH] update --- webkit/bin/restart.sh | 13 ------------- webkit/supervisor/conf.d/restart.conf | 2 -- 2 files changed, 15 deletions(-) delete mode 100755 webkit/bin/restart.sh delete mode 100644 webkit/supervisor/conf.d/restart.conf diff --git a/webkit/bin/restart.sh b/webkit/bin/restart.sh deleted file mode 100755 index 9a1d618..0000000 --- a/webkit/bin/restart.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash -# -# restart webkit instances one by one forever -# - -while : -do - for ((i=8080; i<8090; i++)) - do - sleep 30 - /usr/bin/supervisorctl restart webkit:webkit-$i - done -done diff --git a/webkit/supervisor/conf.d/restart.conf b/webkit/supervisor/conf.d/restart.conf deleted file mode 100644 index cb413fe..0000000 --- a/webkit/supervisor/conf.d/restart.conf +++ /dev/null @@ -1,2 +0,0 @@ -[program:restart] -command = /usr/local/bin/restart.sh