getUserTools method

UserTools getUserTools(
  1. String? database
)

Implementation

UserTools getUserTools(String? database) {
  RestStore store = getStore(database);
  /*
  UserTools restTools = store.userTools;
  if (restTools == null) {
    restTools = UserTools();
    store.userTools = restTools;
  }
   */
  return store.userTools;
}