web.xml: Add space right after PUBLIC for DOCTYPE

Tomcat was complaining about this and wouldn't launch the WAR.
rnewson · Jul 1, 2014 · 253b22c · 253b22c
1 parent 0d38751
commit 253b22c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/webapp/WEB-INF/web.xml b/src/main/webapp/WEB-INF/web.xml
@@ -15,7 +15,7 @@
   ~ limitations under the License.
   -->
 
-<!DOCTYPE web-app PUBLIC"-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
+<!DOCTYPE web-app PUBLIC "-//Sun Microsystems, Inc.//DTD Web Application 2.3//EN"
         "http://java.sun.com/dtd/web-app_2_3.dtd">
 
 <web-app>
@@ -35,4 +35,4 @@
         <url-pattern>/</url-pattern>
     </servlet-mapping>
 
-</web-app>
+</web-app>