annotate servlet/DigilibServlet.jardesc @ 810:5de6c7a73855 stream

Alternative versions of Scaler without async and without threads. Should still work with Servlet API 2.3 (i.e. Tomcat < 7, Jetty < 8).
author robcast
date Sun, 20 Feb 2011 19:34:05 +0100
parents
children 0b4345866797
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
810
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
2 <jardesc>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
3 <jar path="digilib-servlet/DigilibServlet.jar"/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
4 <options buildIfNeeded="true" compress="true" descriptionLocation="/digilib-servlet/DigilibServlet.jardesc" exportErrors="false" exportWarnings="true" includeDirectoryEntries="false" overwrite="true" saveDescription="true" storeRefactorings="false" useSourceFolders="false"/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
5 <storedRefactorings deprecationInfo="true" structuralOnly="false"/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
6 <selectedProjects/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
7 <manifest generateManifest="true" manifestLocation="" manifestVersion="1.0" reuseManifest="false" saveManifest="false" usesManifest="true">
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
8 <sealing sealJar="false">
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
9 <packagesToSeal/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
10 <packagesToUnSeal/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
11 </sealing>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
12 </manifest>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
13 <selectedElements exportClassFiles="true" exportJavaFiles="false" exportOutputFolder="false">
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
14 <file path="/digilib-servlet/license.txt"/>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
15 </selectedElements>
5de6c7a73855 Alternative versions of Scaler without async and without threads.
robcast
parents:
diff changeset
16 </jardesc>