mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-24 10:54:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

adding timestamps for logs (#238)

Browse Source 
Co-authored-by: Ali Abid <ali.abid@gradio.app>
This commit is contained in:
Harjyot Bagga 2021-07-10 00:38:41 +05:30 committed by GitHub
parent a7ddbe0bb2
commit dd27ff01bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gradio/networking.py
View File

@ -12,6 +12,7 @@ from flask_cors import CORS
import threading
import pkg_resources
from distutils import dir_util
import datetime
import time
import json
import urllib.request
@ -296,6 +297,7 @@ def flag_data(input_data, output_data, flag_option=None, flag_index=None, userna
csv_data.append(flag_option)
if username is not None:
csv_data.append(username)
csv_data.append(str(datetime.datetime.now()))
if is_new:
headers = [interface["label"]
for interface in app.interface.config["input_components"]]
@ -305,6 +307,7 @@ def flag_data(input_data, output_data, flag_option=None, flag_index=None, userna
headers.append("flag")
if username is not None:
headers.append("username")
headers.append("timestamp")
def replace_flag_at_index(file_content):
file_content = io.StringIO(file_content)