Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#1655 Updater + Windows + Server Mode = manual process kill

open
nobody
None
5
2012-09-26
2012-09-22
Alan Ezust
No

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.

Discussion

  • Alan Ezust
    Alan Ezust
    2012-09-26

    • summary: Updater + Windows + Background Mode = manual process kill --> Updater + Windows + Server Mode = manual process kill