Searched refs:propertiesTid (Results 1 – 1 of 1) sorted by relevance
188 if (propertiesTid == null) { in sendRequestChange()189 propertiesTid = ThreadId.createFresh(); in sendRequestChange()195 PROPERTIES_FUN_REQUEST_CHANGE, propertiesTid, in sendRequestChange()324 PROPERTIES_FUN_COMMIT_CHANGE, propertiesTid, in handleInternalMessage()729 private ThreadId propertiesTid = null; field in urp
Completed in 19 milliseconds