edymerchk/save and delete pid.rb

Created March 14, 2014 21:39

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/edymerchk/9557556.js"></script>
Save edymerchk/9557556 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

save and delete pid.rb

-    File.write("server.pid", Process.pid)
-    trap("SIGINT") do
-      File.delete("server.pid")
-      exit
-    end

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment