| Summary: | "./jetty.sh check" doesn't display "Jetty running pid=xx" if JETTY_PID was set | ||
|---|---|---|---|
| Product: | [RT] Jetty | Reporter: | Michael Gorovoy <mgorovoy> |
| Component: | server | Assignee: | Michael Gorovoy <mgorovoy> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | jetty-inbox |
| Version: | 7.2.2 | ||
| Target Milestone: | 7.2.x | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Michael Gorovoy
Committed r2690. |