diff options
author | Guilhem Moulin <guilhem.moulin@fripost.org> | 2012-09-29 18:18:48 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem.moulin@fripost.org> | 2012-09-29 18:18:48 +0200 |
commit | 1eb7912a55921242a379fec76d6b93273ac3260e (patch) | |
tree | 26c532e38cde99b34408e2a4146819390e9108d7 /bin | |
parent | f6ffcfd73fc0d0dd731c321efab9a408a176c801 (diff) |
W3C validation script.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/fripost-panel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/fripost-panel b/bin/fripost-panel index feb0008..a9dbd39 100755 --- a/bin/fripost-panel +++ b/bin/fripost-panel @@ -53,7 +53,7 @@ cd "${PANEL_DIR}" || exit 1 case "${1}" in start) start ;; stop) stop ;; - restart) stop && start ;; + restart) stop; start ;; *) echo "Usage: $0 {start|stop|restart}" >&2 exit 1 |