Searched refs:userRt (Results 1 – 1 of 1) sorted by relevance
435 Preferences userRt; in syncWorld() local438 userRt = userRoot; in syncWorld()443 if (userRt != null) in syncWorld()444 userRt.flush(); in syncWorld()