def get_title(appid): if not app_names.has_key(appid): name = application.get_app_name(mysql_db, appid) if name is not None: app_names[appid] = name if app_names.has_key(appid): return app_names[appid] else: return ""
def get_title(appid): if appid not in app_names: name = application.get_app_name(mysql_db, appid) if name is not None: app_names[appid] = name if appid in app_names: return app_names[appid] else: return ""