Re: [jetty-user] "./jetty.sh check" doesn't display "Jetty running pid=xx" if JETTY_PID was set
Michael Gorovoy <[email protected]>
| Newsgroups | gmane.comp.java.jetty.support |
|---|---|
| Message-ID | <[email protected]> |
Florian, I am working on your issue, and created bug 335361 in Bugzilla to track the fix for Jetty 7. -Michael On Tue, Jan 25, 2011 at 11:14 AM, Florian Heinisch <[email protected]>wrote: > 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 > > >