function getLauncher($moduleName) { if (!isset($this->moduleLaunchers[$moduleName])) { return null; } return $this->moduleLaunchers[$moduleName]; }