Adding missing codebase entries to MANIFEST.MF files

mattulbrich · mattulbrich · commit 5aaf368281ee · 2017-01-31T19:18:16.000+01:00
This is obligatory for signed webstart nowadays.
diff --git a/key/key.core.example/META-INF/MANIFEST.MF b/key/key.core.example/META-INF/MANIFEST.MF
@@ -1,4 +1,5 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar
-Main-Class: example.Main
+Main-Class: example.Main
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core.proof_references/META-INF/MANIFEST.MF b/key/key.core.proof_references/META-INF/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF b/key/key.core.symbolic_execution.example/META-INF/MANIFEST.MF
@@ -1,4 +1,5 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar key.core.symbolic_execution.jar
-Main-Class: example.Main
+Main-Class: example.Main
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core.symbolic_execution/META-INF/MANIFEST.MF b/key/key.core.symbolic_execution/META-INF/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core.testgen/META-INF/MANIFEST.MF b/key/key.core.testgen/META-INF/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core/META-INF/MANIFEST.MF b/key/key.core/META-INF/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
-Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar
+Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar
+Codebase: formal.iti.kit.edu
diff --git a/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF b/key/key.core/resources/de/uka/ilkd/key/util/install/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Main-Class: de.uka.ilkd.key.util.install.Installer
 SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif
+Codebase: formal.iti.kit.edu
diff --git a/key/key.removegenerics/META-INF/MANIFEST.MF b/key/key.removegenerics/META-INF/MANIFEST.MF
@@ -1,6 +1,6 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar
-Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de
+Codebase: formal.iti.kit.edu.key-project.org formal.iti.kit.edu i12www.ira.uka.de
 Application-Name: KeY.RemoveGenerics
 Main-Class: de.uka.ilkd.key.util.removegenerics.Main
diff --git a/key/key.ui/META-INF/MANIFEST.MF b/key/key.ui/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
 Class-Path: key.util.jar ../libs/antlr.jar ../libs/recoderKey.jar key.core.jar key.core.testgen.jar key.core.symbolic_execution.jar
-Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de
+Codebase: formal.iti.kit.edu
 Application-Name: KeY
 Main-Class: de.uka.ilkd.key.core.Main
-SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif
+SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif
diff --git a/key/key.util/META-INF/MANIFEST.MF b/key/key.util/META-INF/MANIFEST.MF
@@ -1,2 +1,3 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
+Codebase: formal.iti.kit.edu
diff --git a/key/oldStuff/system/MANIFEST.MF b/key/oldStuff/system/MANIFEST.MF
@@ -1,3 +1,4 @@
 Manifest-Version: 1.0
 Main-Class: de.uka.ilkd.key.util.InstallKeY
 SplashScreen-Image: de/uka/ilkd/key/gui/images/key-color.gif
+Codebase: formal.iti.kit.edu
diff --git a/key/scripts/KeY.jar/META-INF/MANIFEST.MF b/key/scripts/KeY.jar/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Permissions: all-permissions
-Codebase: *.key-project.org i12www.iti.kit.edu i12www.ira.uka.de
+Codebase: formal.iti.kit.edu
 Application-Name: KeY
 Class-Path: ./components/key.util.jar ./libs/antlr.jar ./libs/recoderKey.jar ./components/key.core.jar ./components/key.core.testgen.jar ./components/key.core.symbolic_execution.jar ./components/key.ui.jar
 Main-Class: de.uka.ilkd.key.core.Main
-SplashScreen-Image: key-color.gif
+SplashScreen-Image: key-color.gif

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,3 @@`
`1`	`1`	`Manifest-Version: 1.0`
`2`	`2`	`Permissions: all-permissions`
	`3`	`+Codebase: formal.iti.kit.edu`