Searched refs:EXTRA_USE_SERVICE_PORT (Results 1 – 3 of 3) sorted by relevance
61 String EXTRA_USE_SERVICE_PORT = field
170 intent.putExtra(Constants.EXTRA_USE_SERVICE_PORT, getPrefInt("use_service_port", 0)); in launchService()
251 int usePort = intent.getIntExtra(Constants.EXTRA_USE_SERVICE_PORT, 0); in launchServer()