Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-688661 ] Ability to shut down jEdit server
|
From: SourceForge.net <no...@so...> - 2003-02-18 16:32:31
|
Bugs item #688661, was opened at 2003-02-18 08:45 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=688661&group_id=588 Category: editor core Group: minor bug >Status: Closed Resolution: None Priority: 5 Submitted By: Brian J. Sayatovic (trinition) Assigned to: Nobody/Anonymous (nobody) Summary: Ability to shut down jEdit server Initial Comment: To ease startup times, I'm running jEdit in server mode. However, when it comes to updating plugins, or upgrading jEdit, I need to shut down jEdit. Closing the views doesn't close the process. Right now, I end up killing the process. It would be nice if there were a menu command to bring down the jEdit server nicely. ---------------------------------------------------------------------- >Comment By: Slava Pestov (spestov) Date: 2003-02-18 11:40 Message: Logged In: YES user_id=2280 file->exit always closes down jEdit even if in background mode ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=688661&group_id=588 |