Searched refs:getPrefInt (Results 1 – 1 of 1) sorted by relevance
152 private int getPrefInt(String key, int defaultValue) { in getPrefInt() method in InterpreterManager169 intent.putExtra(Constants.EXTRA_USE_SERVICE_PORT, getPrefInt("use_service_port", 0)); in launchService()