K 10 svn:author V 4 feld K 8 svn:date V 27 2013-12-05T19:32:43.147785Z K 7 svn:log V 328 Redesigned rc script to use a pidfile instead of attempting to use web API which cannot stop the server in some configurations. I've confirmed in the python codepath that both the web API shutdown and the signal handling both call save_state() so it is safe to shutdown this way. PR: ports/177944 Approved by: crees (mentor) END