Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#215 patch java-based installer : kill jedit before installing

closed-accepted
Alan Ezust
None
5
2009-02-24
2008-11-22
Eric Le Lay
No

In relation with bug [1953252] MSI installer should kill jEdit server first
(https://sourceforge.net/tracker/index.php?func=detail&aid=1953252&group_id=588&atid=100588)

Here is a patch to connect to a running jedit server and ask it to exit, before performing install.

Code to connect to the server is taken from jEdit.java.

If there is a running instance of jEdit, with -noserver
option, it doesn't see it. But then, the user can close it easily.

This patch assumes that Progress.java has been updated as per [jedit-Patches-2327736]

Discussion

  • Alan Ezust
    Alan Ezust
    2009-02-06

    • assigned_to: nobody --> ezust
     
  • Alan Ezust
    Alan Ezust
    2009-02-11

    Hrm. This patch fails to apply. Can you please try to make a newer one against trunk?

     
  • Eric Le Lay
    Eric Le Lay
    2009-02-19

    patch against r14681, made in directory installer

     
  • Eric Le Lay
    Eric Le Lay
    2009-02-19

    Here is a revised patch.
    It introduces a new installer/ServerKiller class.
    This class will be bundled with the windows installer, to fix bug [1953252] MSI installer should kill jEdit server first.
    File Added: call_serverkiller.diff

     
  • Eric Le Lay
    Eric Le Lay
    2009-02-19

    class ServerKiller (to add in 'installer' Directory)

     
    Attachments
  • Eric Le Lay
    Eric Le Lay
    2009-02-19

    there you are !
    File Added: ServerKiller.java

     
  • Alan Ezust
    Alan Ezust
    2009-02-24

    I like this version better, thanks.
    Committed rev# 14692.
    Cheers --alan

     
  • Alan Ezust
    Alan Ezust
    2009-02-24

    • status: open --> closed-accepted