what is tomcat.servlet.context.path for in the pom file?
envgap__oracle__opengrok-3635
01 / FAILURE SIGNATURE
As reported upstream
No identifying execution failure has been captured.
Not a benchmark task.
- In a clean container the reported failure did not reproduce, or the known fix did not make the project run.
02 / ENVIRONMENT RECIPE
- Base commit
917059f1183041936fc13c7d043604f7d656f482- Manifest
opengrok-web/pom.xml- Reproduce
Awaiting issue-specific recipe- Run under trace
Awaiting a meaningful runtime command
03 / ORIGINAL ISSUE TEXT
oracle/opengrok #3635 · read the original issue
What is purpose of the parameter
`<tomcat.servlet.context.path>/source</tomcat.servlet.context.path>`
in the pom file?
Could it be used in the the target
<build>
<finalName>source</finalName>
making the change
<finalName>${tomcat.servlet.context.path}</finalName>
?
04 / LABELS
Labels from the report text only; not yet run
No supported category has been assigned.
Label rules and the text that matched
[]