[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Handle-info] handle server version 7.2.1 new option/file: delete_this_to_stop_server

Exactly.  Killing the Java process will also work just fine.  We just find delete_this_to_stop_server slightly more convenient.

Robert

On 2013-03-14, at 11:00 , Robert verkerk <robert.verkerk@surfsara.nl> wrote:

> Hi,
> 
> In the handle server version 7.2 there is a file: "delete_this_to_stop_server"
> Has anybody had any experience with this file?
> 
> The release notes state: "Enabled stopping handle server by deleting file delete_this_to_stop_server."
> 
> How do you use this file? We normally yust kill the java process to stop the handle server. But should you now delete this file and it will automagically stop de handle server?
> 
> Greetings,
> 
> Robert Verkerk
> 
> _______________________________________________
> Handle-Info mailing list
> Handle-Info@cnri.reston.va.us
> http://www.handle.net/mailman/listinfo/handle-info


_______________________________________________
Handle-Info mailing list
Handle-Info@cnri.reston.va.us
http://www.handle.net/mailman/listinfo/handle-info