| 410 | } |
| 411 | |
| 412 | static public long lastModified(URL url, String libfile) throws IOException{ |
| 413 | URLConnection connection = url.openConnection(); |
| 414 | try { |
| 415 | if (url.getProtocol().equals("jar")) |
| 416 | return ((JarURLConnection) connection).getJarFile().getEntry(libfile).getTime(); |
| 417 | else |
| 418 | return connection.getLastModified(); |
| 419 | } |
| 420 | finally { |
| 421 | InputStream ins = connection.getInputStream(); |
| 422 | if (ins != null) |
| 423 | ins.close(); |
| 424 | } |
| 425 | } |
| 426 | |
| 427 | static void compile(String cljfile) throws IOException{ |
| 428 | InputStream ins = resourceAsStream(baseLoader(), cljfile); |