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

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



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