Registering PID file to be deleted on JVM exit

pull/793/merge
Lukasz Kryger 11 years ago committed by Dave Syer
parent 61221f84a9
commit e7484c66f5

@ -80,6 +80,7 @@ public class ApplicationPidListener implements
if (created.compareAndSet(false, true)) { if (created.compareAndSet(false, true)) {
try { try {
new ApplicationPid().write(this.file); new ApplicationPid().write(this.file);
this.file.deleteOnExit();
} }
catch (Exception ex) { catch (Exception ex) {
logger.warn(String.format("Cannot create pid file %s", this.file)); logger.warn(String.format("Cannot create pid file %s", this.file));

Loading…
Cancel
Save