projects
/
mir.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d0e2bad
)
minor step towards making web.xml tomcat 4.0 compatible.
author
mh
<mh>
Sat, 27 Oct 2001 17:06:47 +0000
(17:06 +0000)
committer
mh
<mh>
Sat, 27 Oct 2001 17:06:47 +0000
(17:06 +0000)
etc/web.xml
patch
|
blob
|
history
diff --git
a/etc/web.xml
b/etc/web.xml
index
6561b67
..
2e6565d
100755
(executable)
--- a/
etc/web.xml
+++ b/
etc/web.xml
@@
-40,13
+40,13
@@
Mir
</servlet-name>
<url-pattern>
- Mir
+
/
Mir
</url-pattern>
</servlet-mapping>
<servlet-mapping>
<servlet-name>OpenMir</servlet-name>
- <url-pattern>OpenMir</url-pattern>
+ <url-pattern>
/
OpenMir</url-pattern>
</servlet-mapping>