gp-server.git - Gitblit

blame | 历史 | 补丁 | 提交 | 提交对比 | ignore whitespace

Administrator

2023-08-28 84d55d2bbff326dbf77b5c670f92e110c3aec460

 log_module/log_export.py

@@ -334,6 +334,8 @@
                if line:
                    time_str = line.split("|")[0].strip()
                    level = line.split("|")[1].strip()
                    if level != "INFO" and level != "ERROR":
                        continue
                    data = line.split("|")[2].split(" - ")[1].strip()
                    fdatas.append((time_str, level, data))
    return fdatas

			@@ -334,6 +334,8 @@
			if line:
			time_str = line.split("\|")[0].strip()
			level = line.split("\|")[1].strip()
			if level != "INFO" and level != "ERROR":
			continue
			data = line.split("\|")[2].split(" - ")[1].strip()
			fdatas.append((time_str, level, data))
			return fdatas