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|