update

app-ngrok.py

@@ -4,6 +4,9 @@ import sqlparse
 import requests
 from time import sleep
 import re
+import platform
+
+print(f"Running on {platform.system()}")
 
 def format(text):
     # Split the text by "|", and get the last element in the list which should be the final query
@@ -68,10 +71,10 @@ with gr.Blocks(theme='gradio/soft') as demo:
     header = gr.HTML("""
         <h1 style="text-align: center">SQL Skeleton WizardCoder Demo</h1>
         <h3 style="text-align: center">🕷️☠️🧙‍♂️ Generate SQL queries from Natural Language 🕷️☠️🧙‍♂️</h3>
-        <p>Note: Should take around 30-60s to generate.</p>
     """)
 
     output_box = gr.Code(label="Generated SQL", lines=2, interactive=True)
+    note = gr.HTML("""<p style="font-size: 12px; text-align: center">⚠️ Should take 30-60s to generate</p>""")
     input_text = gr.Textbox(lines=3, placeholder='Write your question here...', label='NL Input')
     db_info = gr.Textbox(lines=4, placeholder='Example: | table_01 : column_01 , column_02 | table_02 : column_01 , column_02 | ...', label='Database Info')
 
@@ -91,7 +94,7 @@ with gr.Blocks(theme='gradio/soft') as demo:
             ["What are the number of concerts that occurred in the stadium with the largest capacity ?", "| stadium : stadium_id , location , name , capacity , highest , lowest , average | singer : singer_id , name , country , song_name , song_release_year , age , is_male | concert : concert_id , concert_name , theme , stadium_id , year | singer_in_concert : concert_id , singer_id | concert.stadium_id = stadium.stadium_id | singer_in_concert.singer_id = singer.singer_id | singer_in_concert.concert_id = concert.concert_id |"],
             ["How many male singers performed in concerts in the year 2023?", "| stadium : stadium_id , location , name , capacity , highest , lowest , average | singer : singer_id , name , country , song_name , song_release_year , age , is_male | concert : concert_id , concert_name , theme , stadium_id , year | singer_in_concert : concert_id , singer_id | concert.stadium_id = stadium.stadium_id | singer_in_concert.singer_id = singer.singer_id | singer_in_concert.concert_id = concert.concert_id |"],
             ["List the names of all singers who performed in a concert with the theme 'Rock'", "| stadium : stadium_id , location , name , capacity , highest , lowest , average | singer : singer_id , name , country , song_name , song_release_year , age , is_male | concert : concert_id , concert_name , theme , stadium_id , year | singer_in_concert : concert_id , singer_id | concert.stadium_id = stadium.stadium_id | singer_in_concert.singer_id = singer.singer_id | singer_in_concert.concert_id = concert.concert_id |"]
-        ], inputs=[input_text, db_info, temperature, top_p, top_k, repetition_penalty], fn=generate, cache_examples=False if os.name == 'posix' or os.name == 'nt' else True, outputs=output_box)
+        ], inputs=[input_text, db_info, temperature, top_p, top_k, repetition_penalty], fn=generate, cache_examples=False if platform.system() == "Windows" or platform.system() == "Darwin" else True, outputs=output_box)
 
     quantized_model = "richardr1126/spider-skeleton-wizard-coder-ggml"
     merged_model = "richardr1126/spider-skeleton-wizard-coder-merged"