|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjsky.util.JarManager
public final class JarManager
Jar file manager: keep jar files up to date with copies on a given remote server.
Constructor Summary | |
---|---|
JarManager()
|
Method Summary | |
---|---|
void |
JarManager()
|
static void |
main(java.lang.String[] args)
main: usage: java |
void |
show(java.io.OutputStream out)
Print a description of the jar files in the class path to the given stream. |
void |
show(java.lang.String fileName)
Print a description of the jar files in the class path to the given file. |
void |
update(java.lang.String baseURL,
java.lang.String fileName)
Update the jar files in the class path by comparing the current jar file versions with ones described under baseURL/filename. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public JarManager()
Method Detail |
---|
public void JarManager()
public void show(java.io.OutputStream out) throws java.io.IOException
out
- write the jar file information to this stream
java.io.IOException
public void show(java.lang.String fileName)
fileName
- the name of the properties file in which to store the jar file descriptionspublic void update(java.lang.String baseURL, java.lang.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(java.lang.String[] args)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |