Mark Felder b06ea36cf8 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)		2013-12-05 19:32:43 +00:00
..
files	Redesigned rc script to use a pidfile instead of attempting to use web API	2013-12-05 19:32:43 +00:00
distinfo	- Update to 0.7.16	2013-10-07 16:02:20 +00:00
Makefile	Redesigned rc script to use a pidfile instead of attempting to use web API	2013-12-05 19:32:43 +00:00
pkg-descr
pkg-plist	- Update to 0.7.16	2013-10-07 16:02:20 +00:00