Re: [jetty-user] "./jetty.sh check" doesn't display "Jetty running pid=xx" if JETTY_PID was set
Jesse McConnell <[email protected]>
| Newsgroups | gmane.comp.java.jetty.support |
|---|---|
| Message-ID | <[email protected]> |
I don't recall seeing that before. Feel free to log the issue at jira.codehaus.org also note that jetty6 is in maintenance mode and jetty7 is the current stable release http://www.eclipse.org/jetty cheers, jesse -- jesse mcconnell [email protected] On Tue, Jan 25, 2011 at 08:15, Florian Heinisch <[email protected]> wrote: > Dear list, > > in jetty.sh (version 6.1.26, downloaded manually) I set custom values for JETTY_RUN and JETTY_PID. > When I run "./jetty.sh check" while Jetty is running, the script does not display the expected information "Jetty running pid=xx". > That's because the script jetty.sh in line 652 looks for $JETTY_RUN/jetty.pid which I assume should be $JETTY_PID (also applies to line 654). > > I searched the mailing list and the bugs list for this issue but could not find anything. > As I am not familiar with your usual issue dealing I thought to ask the mailing list first if you are aware of this issue and if not, if you want me to file this bug. > > Thanks for your help and kind regards, > > Florian > --------------------------------------------------------------------- > To unsubscribe from this list, please visit: > > http://xircles.codehaus.org/manage_email > > > --------------------------------------------------------------------- To unsubscribe from this list, please visit: http://xircles.codehaus.org/manage_email