| Anonymous | Login | Signup for a new account | 04-19-2024 17:41 PDT |
| Main | My View | View Issues | Change Log | Docs |
| Viewing Issue Advanced Details [ Jump to Notes ] | [ View Simple ] [ Issue History ] [ Print ] | ||||||||
| ID | Category | Severity | Reproducibility | Date Submitted | Last Update | ||||
| 0002343 | [Resin] | trivial | always | 01-16-08 18:08 | 01-23-08 10:16 | ||||
| Reporter | tusker | View Status | public | ||||||
| Assigned To | ferg | ||||||||
| Priority | normal | Resolution | fixed | Platform | |||||
| Status | closed | OS | |||||||
| Projection | none | OS Version | |||||||
| ETA | none | Fixed in Version | 3.1.5 | Product Version | 3.1.4 | ||||
| Product Build | |||||||||
| Summary | 0002343: JAVA_HOME not honored in bin/httpd.sh | ||||||||
| Description |
The default shipped httpd.sh declares java=java, which takes the $PATH version of java rather than the JAVA_HOME version. I would see something like the following as a sensible default. java=java if [ -n "$JAVA_HOME" ]; then java=$JAVA_HOME/bin/java fi It should probably incorporate any JAVA_EXE variable handling if required too. |
||||||||
| Steps To Reproduce | |||||||||
| Additional Information | |||||||||
| Attached Files | |||||||||
|
|
|||||||||
 Relationships |
|
| There are no notes attached to this issue. |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 01-16-08 18:08 | tusker | New Issue | |
| 01-23-08 10:16 | ferg | Assigned To | => ferg |
| 01-23-08 10:16 | ferg | Status | new => closed |
| 01-23-08 10:16 | ferg | Resolution | open => fixed |
| 01-23-08 10:16 | ferg | Fixed in Version | => 3.1.5 |
| Mantis 1.0.0rc3[^]
Copyright © 2000 - 2005 Mantis Group
27 total queries executed. 25 unique queries executed. |  |
