Update app.py

app.py

@@ -10,7 +10,10 @@ import json
 def read_rss():
     f = open('feeds_sorted.json')
     data = json.load(f)
-    return data
+    with open('tmp.json','w') as f:
+        json.dumps(data, f, indent=4)
+    f.close()
+    return data, ['tmp.json']
 
 def find_rss(rss_url):
     json_box=[]
@@ -50,8 +53,10 @@ with gr.Blocks() as app:
         rss = gr.Textbox(label="rss")
         btn = gr.Button("load rss")
     r_btn=gr.Button("read")
-    out_json = gr.Textbox()
-    r_btn.click(read_rss,None,out_json)
+    with gr.Row():
+        out_json = gr.Textbox()
+        fil = gr.Files()
+    r_btn.click(read_rss,None,[out_json,fil])
     search_btn.click(find_rss,rss_search,out_json)
     btn.click(get_rss,rss,out_json)
 app.launch()