updateLaunchServerInfo(self,
serveruri,
delayed_exec=0.0)
| source code
|
This method starts a thread to get the informations about the launch
server by the given RCP uri of the launch server. If all informations are
retrieved, a launch_server_signal of this class will be
emitted. If for given serveruri a thread is already running, it will be
inserted to the requested updates. For the same serveruri only one
requested update can be stored. On update error the requested update will
be ignored. This method is thread safe.
- Parameters:
serveruri (str ) - the URI of the remote launch server
delayed_exec (float ) - Delay the execution of the request for given seconds.
|