add unlock file

.gitignore

@@ -1,3 +1,4 @@
 debug
+unlock
 __pycache__
 incoder-6B

modules/app.py

@@ -35,7 +35,10 @@ else:
 PORT = 7860
 VERBOSE = False
 
-MAX_LENGTH = 256+64
+if os.path.exists('unlock'):
+    MAX_LENGTH = 2048
+else:
+    MAX_LENGTH = 256+64
 TRUNCATION_MESSAGE = f'warning: This demo is limited to {MAX_LENGTH} tokens in the document for efficiency.'
 
 if BIG_MODEL:

static/index.html

@@ -5,6 +5,8 @@
     <meta name="viewport" contents="width=device-width, initial-scale=1.0" />
     <title>InCoder</title>
     <script src="https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js"></script>
+    <script src="https://cdn.jsdelivr.net/npm/[email protected]/base64.min.js"></script>
+
     <script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.14/ace.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.14/mode-plain_text.min.js"></script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/ace/1.4.14/mode-c_cpp.min.js"></script>
@@ -383,6 +385,7 @@ def count_words(filename):
 };
 
 var editor = ace.edit("editor");
+editor.setOption("wrap", true);
 //var editor = null;
 
 function set_editor_mode(mode) {
@@ -584,14 +587,14 @@ function make_generate_listener(url) {
 
         function error(err) {
             console.log(err);
-            $("#editor").text("");
-            $("#prompt").text("");
             $("#error").text(err);
         }
 
-        encoded_data = encodeURIComponent(btoa(JSON.stringify(send_data)))
-
         try {
+            var stringified = JSON.stringify(send_data);
+            // var encoded_data = encodeURIComponent(btoa(stringified));
+            var encoded_data = Base64.encodeURI(stringified);
+
             const response = await fetch(`${url}?info=${encoded_data}`);
             // const response = await fetch(`${url}` {
             //     method: 'GET',
@@ -609,17 +612,6 @@ function make_generate_listener(url) {
         } finally {
             complete();
         }
-
-        /*
-        $.ajax({
-            url: url,
-            type: "GET",
-            // processData: true,
-            // data: send_data,
-            data: JSON.stringify(send_data),
-            contentType: 'application/json;charset=UTF-8',
-        });
-        */
     }
 }