@[email protected] class RemoteShellExt extends java.lang.Object
Remote service shell extension.
| Modifiers | Name | Description |
|---|---|---|
static java.lang.String |
__doc__ |
| Type Params | Return Type | Name and description |
|---|---|---|
|
static void |
__init__(org.arl.fjage.shell.ScriptEngine engine) |
|
static java.lang.Object |
fget(int node, java.lang.String filename, java.lang.String localFilename = null) |
|
static java.lang.Object |
fput(int node, java.lang.String localFilename, java.lang.String filename = null) |
|
static org.arl.fjage.AgentID |
getRemote() |
|
static boolean |
progress() |
|
static void |
progress(boolean b) |
|
static java.lang.Object |
rsh(int node, java.lang.String cmd, java.lang.Object reliability = null) |
|
static java.lang.Object |
tell(int node, java.lang.String text, java.lang.Object reliability = null) |
| Methods inherited from class | Name |
|---|---|
class java.lang.Object |
java.lang.Object#wait(long, int), java.lang.Object#wait(long), java.lang.Object#wait(), java.lang.Object#equals(java.lang.Object), java.lang.Object#toString(), java.lang.Object#hashCode(), java.lang.Object#getClass(), java.lang.Object#notify(), java.lang.Object#notifyAll() |