Skip to content

Instantly share code, notes, and snippets.

@josephsdavid
Last active June 17, 2022 17:38
Show Gist options
  • Save josephsdavid/67d25374c346fc415b089abf7da6acdc to your computer and use it in GitHub Desktop.
Save josephsdavid/67d25374c346fc415b089abf7da6acdc to your computer and use it in GitHub Desktop.
python plot server
#!/usr/bin/env bash
# python3 -m pip install shis
kill=""
reload=""
clean=""
print_help() {
echo "$(basename $0) [-k kill] [-h help] [-r reload] [-c clean]" >&2
exit 1
}
start_server() {
mkdir -p ~/plots
cd ~/plots || exit
python3 -m shis.server --image-dir . --port 8000 & disown
cd - || exit
}
kill_server() {
pid=$(ps aux | grep py | grep shis | awk '{print $2}')
kill -9 "$pid"
}
reload_server() {
kill_server
start_server
}
clean_server() {
cd ~/plots || exit
rm -rf *
cd - || exit
}
while getopts 'kcrh' OPTION; do
case "$OPTION" in
k)
kill="true"
;;
c)
clean="true"
;;
r)
reload="true"
;;
h)
print_help
;;
*)
print_help
;;
esac
done
if [ -n "$reload" ]; then
reload_server && echo "successfully restarted server" || "failed to restart server"
exit
fi
if [ -n "$clean" ]; then
clean_server && echo "successfully cleaned server" || "failed to clean server"
exit
fi
if [ -z $kill ]; then
echo "starting server"
start_server && echo "successfully started server" || "failed to start server"
else
echo "killing server" && echo "successfully stopped server" || "failed to stop server"
kill_server
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment