Skip to content

Instantly share code, notes, and snippets.

@samuell

samuell/galaxy_manual_restart.sh

Created November 16, 2012 15:38
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save samuell/4088297 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save samuell/4088297 to your computer and use it in GitHub Desktop.
Download ZIP
Restart a manually started Galaxy instance
Raw
galaxy_manual_restart.sh
#!/bin/bash
galaxypid=$(ps -efw|grep paster|awk '{ print $2 }'|head -n 1);kill $galaxypid;
sh run.sh &
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment