Skip to content

Instantly share code, notes, and snippets.

@arusahni

arusahni/runserver.sh

Last active December 19, 2015 15:29
Show Gist options

  • Select an option

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

Select an option

Learn more about clone URLs
Save arusahni/5976676 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. arusahni revised this gist Jul 17, 2013. 1 changed file with 3 additions and 2 deletions.
    5 changes: 3 additions & 2 deletions runserver.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,8 @@
    #!/bin/bash
    function cleanup {
    echo "\nKill signal detected. Killing wdb server."
    kill %%
    echo ""
    echo "Kill signal detected. Killing wdb server."
    kill 0
    }

    trap cleanup EXIT
  2. arusahni renamed this gist Jul 11, 2013. 1 changed file with 0 additions and 0 deletions.
    0 wdb wrapping.sh → runserver.sh
    View file
    File renamed without changes.
  3. arusahni created this gist Jul 11, 2013.
    12 changes: 12 additions & 0 deletions wdb wrapping.sh
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,12 @@
    #!/bin/bash
    function cleanup {
    echo "\nKill signal detected. Killing wdb server."
    kill %%
    }

    trap cleanup EXIT

    echo "Starting wdb server..."
    wdb.server.py &
    echo "Done! Starting app server..."
    # put your app server init here