def get_request_userid(): if "userid" in flask.session: userid = flask.session["userid"] else: userid = flask.session["userid"] = util.random_id() return userid
def _checkpoint_path(self, path, checkpointid=None): assert path.startswith("/") checkpointid = checkpointid or random_id() return "%s%s.%s.%s%s" % (CHECKPOINT_DIR, path, self.userid, checkpointid, CHECKPOINT_EXT)