Public Member Functions | |
| GuiMaciSupervisor | giveMaciSupervisor (String managerLoc) throws OrbInitException |
| Executor | getBackgroundExecutor () |
|
|
used to perform work triggered from gui-buttons |
|
|
supervisor factory method used when adding managers |
1.3.8