Add files via upload

zhifu gao

2024-05-28 ba3a3bf4e67e861b833092d05d7c3842ea670cbc

 runtime/html5/static/main.js

@@ -366,7 +366,7 @@
   varArea.value=rec_text;

   console.log( "offline_text: " + asrmodel+","+offline_text);

   console.log( "rec_text: " + rec_text);

   if (isfilemode==true && is_final==false){

   if (isfilemode==true && is_final==true){

      console.log("call stop ws!");

      play_file();

      wsconnecter.wsStop();

@@ -573,4 +573,4 @@
      }

   }

   return false;

}
}