checks for last update
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 15:08:07 +0000 (15:08 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 15:08:07 +0000 (15:08 +0000)
src/jalview/bin/Cache.java

index e0edae8..5990616 100755 (executable)
@@ -11,8 +11,12 @@ package jalview.bin;
 import java.util.*;\r
 import java.io.*;\r
 \r
+import java.util.jar.*;\r
 public class Cache\r
 {\r
+  public static String  VERSION = "ß test";\r
+  public static String  BUILD_DATE = "1-1-2005";\r
+\r
   public static Properties applicationProperties;\r
   // Current properties include:\r
   //\r
@@ -26,6 +30,34 @@ public class Cache
 \r
   public static void loadProperties()\r
   {\r
+    // get last build time.\r
+    try{\r
+          long date = 0;\r
+\r
+          String localFile = Cache.class.getProtectionDomain().getCodeSource().getLocation().toString();\r
+          localFile = localFile.concat("!/");\r
+          String tmpString = "jar:";\r
+          String localJarFileString = tmpString.concat(localFile);\r
+          java.net.URL localJarFileURL = new java.net.URL(localJarFileString);\r
+          java.net.JarURLConnection localJarFile = (java.net.JarURLConnection)localJarFileURL.openConnection();\r
+\r
+          date = localJarFile.getLastModified();\r
+\r
+          if(date==0)\r
+          {\r
+            // this is called for unpackaged class files.\r
+            // not entirely accurate as it only tells you when Cache.class was last compiled\r
+            java.net.URL url = Cache.class.getResource("/jalview/bin/Cache.class");\r
+            java.io.File f = new java.io.File(url.getFile());\r
+            date = f.lastModified();\r
+          }\r
+\r
+          BUILD_DATE = new Date( date ).toString();\r
+\r
+\r
+    }catch(Exception ex){ex.printStackTrace();}\r
+\r
+\r
     applicationProperties = new Properties();\r
 \r
     try\r