Re: [jetty-user] "./jetty.sh check" doesn't display "Jetty running pid=xx" if JETTY_PID was set
Florian Heinisch <[email protected]>
| Newsgroups | gmane.comp.java.jetty.support |
|---|---|
| Message-ID | <[email protected]> |
Hi Jesse, thanks for your quick reply. Same issue happens with version 7.2.2 - I logged it accordingly in Jira. Cheers, Florian On Jan 25, 2011, at 3:18 PM, Jesse McConnell wrote: > 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 > > --------------------------------------------------------------------- To unsubscribe from this list, please visit: http://xircles.codehaus.org/manage_email