public final class Copy extends Command
| Constructor and Description |
|---|
Copy(java.lang.String db,
java.lang.String newdb)
Default constructor.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
copy(java.io.File src,
java.io.File trg)
Copies the specified file.
|
java.lang.String |
pinned(Context ctx)
Checks if the database to be updated is opened (pinned) by a process in another JVM.
|
protected double |
prog()
Returns a progress value (0 - 1).
|
protected boolean |
run()
Executes the command and serializes the result (internal call).
|
boolean |
supportsProg()
Returns true if this command returns a progress value.
|
protected java.lang.String |
tit()
Returns short information on this process.
|
build, close, error, execute, execute, getOption, getOption, info, info, newData, result, run, setInput, setInput, stoppable, toString, updated, updatingpublic Copy(java.lang.String db,
java.lang.String newdb)
db - db namenewdb - new db nameprotected boolean run()
Commandpublic java.lang.String pinned(Context ctx)
Commandpublic static void copy(java.io.File src,
java.io.File trg)
throws java.io.IOException
src - source filetrg - target filejava.io.IOException - I/O exceptionprotected java.lang.String tit()
Progresspublic boolean supportsProg()
CommandsupportsProg in class Command