protected void stopPlatformInfoServer() {
if (platformInfoServer == null) return;
Log.i(TAG, "Asked to stop platform information restlet");
platformInfoServer.stopServer();
platformInfoServer = null;
}
protected void startPlatformInfoServer() {
if (platformInfoServer != null) {
Log.w(TAG, "Platform information restlet already started");
return;
}
Log.i(TAG, "Asked to start platform information restlet");
platformInfoServer = new PlatformInfoServer(getPackageManager());
platformInfoServer.startServer();
}