commit 3c18dcc105f9f5ad5c35d565d6768abe1c9a2060 parent 36a2204f7d056345006e83942afce1d4b408be45 Author: Florian Dold <florian.dold@gmail.com> Date: Sun, 17 Apr 2016 13:38:57 +0200 timeout for restart Diffstat:
| M | restart.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/restart.sh b/restart.sh @@ -6,7 +6,7 @@ ulimit -c $((100 * 1024)) cd $HOME -arm.sh -e -T 1s +arm.sh -e -T 1s &>/dev/null arm.sh -s arm.sh -i taler-exchange