public final class JarManager extends Object
Constructor and Description |
---|
JarManager() |
Modifier and Type | Method and Description |
---|---|
void |
JarManager() |
static void |
main(String[] args)
main: usage: java
|
void |
show(OutputStream out)
Print a description of the jar files in the class path to the
given stream.
|
void |
show(String fileName)
Print a description of the jar files in the class path to the
given file.
|
void |
update(String baseURL,
String fileName)
Update the jar files in the class path by comparing the current
jar file versions with ones described under
baseURL/filename.
|
public void JarManager()
public void show(OutputStream out) throws IOException
out
- write the jar file information to this streamIOException
public void show(String fileName)
fileName
- the name of the properties file in which to store the jar file descriptionspublic void update(String baseURL, String fileName)
baseURL
- the base URL for downloading jar files and the given fileNamefileName
- the base name of the properties file describing the jar files on the serverpublic static void main(String[] args)
Copyright © 2023 Central Laboratory of the Research Councils. All Rights Reserved.