fix long file name truncation

app.py

@@ -203,6 +203,7 @@ parser.add_argument('--server_port', type=int, default=None, help='Gradio server
 parser.add_argument('--username', type=str, default=None, help='Gradio authentication username')
 parser.add_argument('--password', type=str, default=None, help='Gradio authentication password')
 parser.add_argument('--theme', type=str, default=None, help='Gradio Blocks theme')
+parser.add_argument('--colab', type=bool, default=False, nargs='?', const=True, help='Is colab user or not')
 _args = parser.parse_args()
 
 if __name__ == "__main__":

modules/subtitle_manager.py

@@ -119,8 +119,11 @@ def get_serialized_vtt(dicts):
 
 
 def safe_filename(name):
+    from app import _args
     INVALID_FILENAME_CHARS = r'[<>:"/\\|?*\x00-\x1f]'
     safe_name = re.sub(INVALID_FILENAME_CHARS, '_', name)
+    if _args.colab:
+        return safe_name
     # Truncate the filename if it exceeds the max_length (20)
     if len(safe_name) > 20:
         file_extension = safe_name.split('.')[-1]