annotate restart.sh @ 10:a7187a447835

restrict repo names
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 12 Jul 2022 19:40:50 -0600
parents 40833a7cd29f
children 64eee582fec1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
40833a7cd29f fix restart
fffilimonov
parents: 0
diff changeset
1 #!/bin/bash -e
40833a7cd29f fix restart
fffilimonov
parents: 0
diff changeset
2
40833a7cd29f fix restart
fffilimonov
parents: 0
diff changeset
3 cd `dirname $0`;
40833a7cd29f fix restart
fffilimonov
parents: 0
diff changeset
4
0
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
5 ./stop.sh
Vadim Filimonov <fffilimonov@yandex.ru>
parents:
diff changeset
6 ./start.sh $*