collab_v2.0.0

Running

App Files Files Community

Ramesh-vani commited on May 30, 2024

Commit

03da6c5

verified ·

1 Parent(s): 6c8ebf4

Update app.py

Browse files

Files changed (1) hide show

app.py +198 -197

app.py CHANGED Viewed

@@ -971,218 +971,219 @@ async def exe(websocket,connected,key,process_ids):
                 souptmp = BeautifulSoup(response.text, "html.parser")
                 # Step 1: Define the initial HTML string
                 html_str = """
                 <!DOCTYPE html>
                 <html lang="en">
                 <head>
                     <meta charset="UTF-8">
                     <meta name="viewport" content="width=device-width, initial-scale=1.0">
                 </head>
                 <body>
                     <h1>Hello, World!</h1>
                 </body>
                 <script>
-                  window.addEventListener('message', function(event) {
-  if (event.origin === '${fullURL}|| https://nottri.com') {
-      console.log('Message received from parent:', event.data);
-      // Handle the received message from parent
-      var receivedMessage = event.data;
-      // Get the div with the ID "web-data" or create it if it doesn't exist
-      var webDataDiv = document.getElementById('web-data');
-      if (!webDataDiv) {
-        webDataDiv = document.createElement('div');
-        webDataDiv.id = 'web-data';
-        webDataDiv.style.all='unset';
-        document.body.appendChild(webDataDiv);
-      }
-      // Insert the received message into the web-data div
-      webDataDiv.innerHTML = receivedMessage;
-  }
-});
-    // Open WebSocket connection
-  const ws = new WebSocket('wss://ramesh-vani-ws-bridge2.hf.space');
-  // When WebSocket connection is open
-  ws.onopen = function(event) {
-      console.log('WebSocket connection opened');
-      let events = { "type": "init" ,
-    };
-    ws.send(JSON.stringify(events));
-  };
-  // Intercept fetch requests
-  const originalFetch = window.fetch;
-  window.fetch = function(input, init) {
-      console.log('Element tried to make a fetch request:');
-      console.log('Requested URL: ' + input);
-      console.log('Request method: ' + (init && init.method ? init.method : 'GET'));
-      console.log('Request body: ' + (init && init.body ? init.body : ''));
-      console.log('Request headers:', init && init.headers ? init.headers : '');
-      // Send fetch request information to WebSocket server
-      const requestData = {
-          "type": "cmd",
-          'project_name': 'project_files',
-          'command': {"type": "curl"},
-          method: init && init.method ? init.method : 'GET',
-          url: input,
-          headers: init && init.headers ? init.headers : {},
-          data: init && init.body ? init.body : ''
-      };
-      ws.send(JSON.stringify(requestData));
-      // Return a promise that resolves with the response from WebSocket server
-      return new Promise((resolve, reject) => {
-          ws.onmessage = function(event) {
-              console.log('Message received from WebSocket server:', event.data);
-              const responseFromServer = JSON.parse(event.data);
-              // Create a new Response with the data received from the WebSocket server
-              const customResponse = new Response(responseFromServer.data, { status: 200 });
-              resolve(customResponse);
-          };
-      });
-  };
-  // Select all CSS links
-var cssLinks = document.querySelectorAll('link');
-// Loop through each CSS link
-cssLinks.forEach(function(link) {
-// Intercept the link here, you can modify attributes or perform other actions
-console.log("Intercepted CSS link: ", link.href);
-});
- document.addEventListener("submit", function(event) {
-// Check if the submitted element is a form
-if (event.target.tagName.toLowerCase() === 'form') {
-event.preventDefault(); // Prevent default form submission behavior
-// Access form input values
-var formData = {};
-var formElements = event.target.elements;
-for (var i = 0; i < formElements.length; i++) {
-var element = formElements[i];
-if (element.tagName === 'INPUT') {
-  formData[element.name] = element.value;
-}
-}
-// Print form action, method, and form data
-console.log("Form Action: " + event.target.getAttribute("action"));
-console.log("Form Method: " + event.target.getAttribute("method"));
-console.log("Form Data:", formData);
-// You can also send the data to a server using AJAX or fetch
-// For example:
-fetch(event.target.getAttribute("action"), {
-method: event.target.getAttribute("method"),
-body: JSON.stringify(formData),
-headers: {
-  'Content-Type': 'application/json'
-}
-}).then(response => {
-// Handle response from server
-});
-}
-});
-document.body.addEventListener('AjaxDetected', function (e) {
-console.log(e.detail.method, e.detail.url, e.detail.data);
-}, false);
-(function () {
-const arl = new Object();
-arl._open = XMLHttpRequest.prototype.open;
-arl._send = XMLHttpRequest.prototype.send;
-arl.callback = function () {
-  const event = new CustomEvent('AjaxDetected', {
-      detail: {
-          url: this.url,
-          method: this.method,
-          data: this.data
-      }
-  });
-  document.body.dispatchEvent(event);
-}
-function notNullString(input) {
-  return input || '';
-}
-XMLHttpRequest.prototype.open = function (a, b) {
-  a = notNullString(a);
-  b = notNullString(b);
-  arl._open.apply(this, arguments);
-  arl.method = a;
-  arl.url = b;
-  if (a.toLowerCase() == 'get') {
-      arl.data = b.split('?');
-      arl.data = notNullString(arl.data[1]);
-  }
-}
-XMLHttpRequest.prototype.send = function (a, b) {
-  a = notNullString(a);
-  b = notNullString(b);
-  arl._send.apply(this, arguments);
-  if (arl.method.toLowerCase() == 'post') {
-      arl.data = a;
-  }
-  arl.callback();
-}
-}());
-                    const currentUrl = new URL("{url}");
-                    alert(currentUrl)
-                    function handleLinkClick(event) {
-                        event.preventDefault();
-                        const link = event.target.href;
-                        const absoluteUrl = new URL(link);
-                        // Changing the host
-absoluteUrl.hostname = currentUrl.hostname;
-// Converting back to string
-let modifiedUrl = absoluteUrl.toString();
-                        window.parent.postMessage({ url: modifiedUrl }, '*');
-                    }
-document.addEventListener('click', function(event) {
-    // Check if the clicked element is a link
-    alert(event)
-    if (event.target.tagName === 'A') {
-        // Determine the location of the clicked link
-        let clickedElement = event.target;
-        let parentElement = clickedElement.parentElement;
-        while (parentElement) {
-            if (parentElement.tagName === 'HEADER') {
-                break;
-            } else if (parentElement.tagName === 'FOOTER') {
-                break;
-            } else if (parentElement.tagName === 'NAV') {
-                break;
-            }
-            parentElement = parentElement.parentElement;
-        }
-        // Call the function to handle link clicks
-        handleLinkClick(event);
-    }
-});</script>
                 </html>
-                """.format(url=url)
                 # Step 2: Parse the initial HTML content
                 soup = BeautifulSoup(html_str, 'html.parser')

                 souptmp = BeautifulSoup(response.text, "html.parser")
                 # Step 1: Define the initial HTML string
+                fullURL = "http://127.0.0.1:8000/"
                 html_str = """
                 <!DOCTYPE html>
                 <html lang="en">
                 <head>
                     <meta charset="UTF-8">
                     <meta name="viewport" content="width=device-width, initial-scale=1.0">
                 </head>
                 <body>
                     <h1>Hello, World!</h1>
                 </body>
                 <script>
+                  window.addEventListener('message', function(event) {{
+                      if (event.origin === '{fullURL} || https://nottri.com') {{
+                          console.log('Message received from parent:', event.data);
+                          // Handle the received message from parent
+                          var receivedMessage = event.data;
+                          // Get the div with the ID "web-data" or create it if it doesn't exist
+                          var webDataDiv = document.getElementById('web-data');
+                          if (!webDataDiv) {{
+                            webDataDiv = document.createElement('div');
+                            webDataDiv.id = 'web-data';
+                            webDataDiv.style.all = 'unset';
+                            document.body.appendChild(webDataDiv);
+                          }}
+                          // Insert the received message into the web-data div
+                          webDataDiv.innerHTML = receivedMessage;
+                      }}
+                  }});
+                  // Open WebSocket connection
+                  const ws = new WebSocket('wss://ramesh-vani-ws-bridge2.hf.space');
+                  // When WebSocket connection is open
+                  ws.onopen = function(event) {{
+                      console.log('WebSocket connection opened');
+                      let events = {{ "type": "init" }};
+                      ws.send(JSON.stringify(events));
+                  }};
+                  // Intercept fetch requests
+                  const originalFetch = window.fetch;
+                  window.fetch = function(input, init) {{
+                      console.log('Element tried to make a fetch request:');
+                      console.log('Requested URL: ' + input);
+                      console.log('Request method: ' + (init && init.method ? init.method : 'GET'));
+                      console.log('Request body: ' + (init && init.body ? init.body : ''));
+                      console.log('Request headers:', init && init.headers ? init.headers : '');
+                      // Send fetch request information to WebSocket server
+                      const requestData = {{
+                          "type": "cmd",
+                          'project_name': 'project_files',
+                          'command': {{ "type": "curl" }},
+                          method: init && init.method ? init.method : 'GET',
+                          url: input,
+                          headers: init && init.headers ? init.headers : {{}},
+                          data: init && init.body ? init.body : ''
+                      }};
+                      ws.send(JSON.stringify(requestData));
+                      // Return a promise that resolves with the response from WebSocket server
+                      return new Promise((resolve, reject) => {{
+                          ws.onmessage = function(event) {{
+                              console.log('Message received from WebSocket server:', event.data);
+                              const responseFromServer = JSON.parse(event.data);
+                              // Create a new Response with the data received from the WebSocket server
+                              const customResponse = new Response(responseFromServer.data, {{ status: 200 }});
+                              resolve(customResponse);
+                          }};
+                      }});
+                  }};
+                  // Select all CSS links
+                  var cssLinks = document.querySelectorAll('link');
+                  // Loop through each CSS link
+                  cssLinks.forEach(function(link) {{
+                      // Intercept the link here, you can modify attributes or perform other actions
+                      console.log("Intercepted CSS link: ", link.href);
+                  }});
+                  document.addEventListener("submit", function(event) {{
+                      // Check if the submitted element is a form
+                      if (event.target.tagName.toLowerCase() === 'form') {{
+                          event.preventDefault(); // Prevent default form submission behavior
+                          // Access form input values
+                          var formData = {{}};
+                          var formElements = event.target.elements;
+                          for (var i = 0; i < formElements.length; i++) {{
+                              var element = formElements[i];
+                              if (element.tagName === 'INPUT') {{
+                                  formData[element.name] = element.value;
+                              }}
+                          }}
+                          // Print form action, method, and form data
+                          console.log("Form Action: " + event.target.getAttribute("action"));
+                          console.log("Form Method: " + event.target.getAttribute("method"));
+                          console.log("Form Data:", formData);
+                          // You can also send the data to a server using AJAX or fetch
+                          // For example:
+                          fetch(event.target.getAttribute("action"), {{
+                              method: event.target.getAttribute("method"),
+                              body: JSON.stringify(formData),
+                              headers: {{
+                                  'Content-Type': 'application/json'
+                              }}
+                          }}).then(response => {{
+                              // Handle response from server
+                          }});
+                      }}
+                  }});
+                  document.body.addEventListener('AjaxDetected', function (e) {{
+                      console.log(e.detail.method, e.detail.url, e.detail.data);
+                  }}, false);
+                  (function () {{
+                      const arl = new Object();
+                      arl._open = XMLHttpRequest.prototype.open;
+                      arl._send = XMLHttpRequest.prototype.send;
+                      arl.callback = function () {{
+                          const event = new CustomEvent('AjaxDetected', {{
+                              detail: {{
+                                  url: this.url,
+                                  method: this.method,
+                                  data: this.data
+                              }}
+                          }});
+                          document.body.dispatchEvent(event);
+                      }}
+                      function notNullString(input) {{
+                          return input || '';
+                      }}
+                      XMLHttpRequest.prototype.open = function (a, b) {{
+                          a = notNullString(a);
+                          b = notNullString(b);
+                          arl._open.apply(this, arguments);
+                          arl.method = a;
+                          arl.url = b;
+                          if (a.toLowerCase() == 'get') {{
+                              arl.data = b.split('?');
+                              arl.data = notNullString(arl.data[1]);
+                          }}
+                      }}
+                      XMLHttpRequest.prototype.send = function (a, b) {{
+                          a = notNullString(a);
+                          b = notNullString(b);
+                          arl._send.apply(this, arguments);
+                          if (arl.method.toLowerCase() == 'post') {{
+                              arl.data = a;
+                          }}
+                          arl.callback();
+                      }}
+                  }}());
+                  const currentUrl = new URL("{url}");
+                  alert(currentUrl);
+                  function handleLinkClick(event) {{
+                      event.preventDefault();
+                      const link = event.target.href;
+                      const absoluteUrl = new URL(link);
+                      // Changing the host
+                      absoluteUrl.hostname = currentUrl.hostname;
+                      // Converting back to string
+                      let modifiedUrl = absoluteUrl.toString();
+                      window.parent.postMessage({{ url: modifiedUrl }}, '*');
+                  }}
+                  document.addEventListener('click', function(event) {{
+                      // Check if the clicked element is a link
+                      alert(event);
+                      if (event.target.tagName === 'A') {{
+                          // Determine the location of the clicked link
+                          let clickedElement = event.target;
+                          let parentElement = clickedElement.parentElement;
+                          while (parentElement) {{
+                              if (parentElement.tagName === 'HEADER') {{
+                                  break;
+                              }} else if (parentElement.tagName === 'FOOTER') {{
+                                  break;
+                              }} else if (parentElement.tagName === 'NAV') {{
+                                  break;
+                              }}
+                              parentElement = parentElement.parentElement;
+                          }}
+                          // Call the function to handle link clicks
+                          handleLinkClick(event);
+                      }}
+                  }});
+                </script>
                 </html>
+                """.format(url=url, fullURL=fullURL)
                 # Step 2: Parse the initial HTML content
                 soup = BeautifulSoup(html_str, 'html.parser')