PreviousNextTracker indexSee it online !

(210/314) 3570711 - Updater + Windows + Server Mode = manual process kill

If jEdit is running in background mode on windows, I guess there is an extra process that needs to be killed manually, because updater doesn't properly do it. And it's hard to tell if the update is a success in the end if I have to manually kill jEdit and the background server tray icon.

Submitted ezust - 2012-09-22 - 15:23:08z Assigned nobody
Priority 5 Category None
Status Open Group None
Resolution None Visibility No