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

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