You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo"All unneeded Contrast events removed from forcontrast/findings before zipping them up"
13
+
echo"All unneeded Contrast events removed from tools/Contrast/findings before zipping them up"
14
14
15
-
zip -q -r results/Benchmark_1.2beta-Contrast.zip forcontrast/findings &&echo"Contrast findings ZIP file successfully created"||echo"Error creating Contrast findings ZIP file"
15
+
zip -q -r results/Benchmark_1.2beta-Contrast.zip tools/Contrast/findings &&echo"Contrast findings ZIP file successfully created"||echo"Error creating Contrast findings ZIP file"
16
16
17
17
echo"Contrast findings all put into /results folder"
18
18
echo
19
19
20
20
else
21
21
22
22
echo""
23
-
echo"ERROR: The forcontrast/findings directory doesn’t exist. You need to run the runBenchmark_wContrast script first, and then crawl the Benchmark app with runCrawler to generate the Contrast results required by this script."
23
+
echo"ERROR: The tools/Contrast/findings directory doesn’t exist. You need to run the runBenchmark_wContrast script first, and then crawl the Benchmark app with runCrawler to generate the Contrast results required by this script."
echo"Previous Contrast results in forcontrast/findings removed"
10
+
echo"Previous Contrast results in tools/Contrast/findings removed"
11
11
echo""
12
12
13
13
fi
@@ -17,6 +17,6 @@ if [ -f forcontrast/contrast.jar ]; then
17
17
18
18
else
19
19
20
-
echo"Given that Contrast is a commercial product, you have to have a licensed version of Contrast in order to run it on the Benchmark. If you have access to Contrast, download the Java 1.5 version of contrast.jar from the Team Server and put it into the /forcontrast folder, and then rerun this script."
20
+
echo"Given that Contrast is a commercial product, you have to have a licensed version of Contrast in order to run it on the Benchmark. If you have access to Contrast, download the Java 1.5 version of contrast.jar from the Team Server and put it into the /tools/Contrast folder, and then rerun this script."
<!-- Editable user database that can also be used by
36
+
UserDatabaseRealm to authenticate users
37
+
-->
38
+
<Resourceauth="Container"description="User database that can be updated and saved"factory="org.apache.catalina.users.MemoryUserDatabaseFactory"name="UserDatabase"pathname="conf/tomcat-users.xml"type="org.apache.catalina.UserDatabase"/>
39
+
</GlobalNamingResources>
40
+
41
+
<!-- A "Service" is a collection of one or more "Connectors" that share
42
+
a single "Container" Note: A "Service" is not itself a "Container",
43
+
so you may not define subcomponents such as "Valves" at this level.
44
+
Documentation at /docs/config/service.html
45
+
-->
46
+
<Servicename="Catalina">
47
+
48
+
<!--The connectors can use a shared executor, you can define one or more named thread pools-->
0 commit comments