wok view manserver/stuff/manserver @ rev 18697

Fix pilot-link(-dev) packaging
author Lucas Levrel <llevrel@yahoo.fr>
date Mon Dec 14 09:55:05 2015 +0100 (2015-12-14)
parents
children
line source
1 #!/bin/sh
2 nohup /usr/bin/manServer -s >/dev/null 2>&1 & >/dev/null 2>&1