Re: [jetty-user] "./jetty.sh check" doesn't display "Jetty running pid=xx" if JETTY_PID was set

Thanks Michael!

On Jan 25, 2011, at 8:21 PM, Michael Gorovoy wrote:

> 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
> 
> 
> 


---------------------------------------------------------------------
To unsubscribe from this list, please visit:

    http://xircles.codehaus.org/manage_email