git.roojs.org Git - app.Builder.js/blob - src/Builder4/FakeServer.vala

   1 /**
   2  * Originally this was supposed to intercept http calls and redirect them
   3  * but that is not supported in webkit2 (without using the extension api)
   4  *
   5  * so for now we have modified our server to serve use a base url of xhttp:
   6  *
   7  * so all relative urls are based on that
   8  *
   9  * Idea is to serve the files from the file system, so no need to setup apache etc...
  10  * This should work for the static content like css / javascript etc.. but
  11  * will cause issues with 'dynamic' xhr files (eg. the php stuff)
  12  *
  13  * the idea is nicked from geary.
  14  *
  15  */
  16
  17 public class FakeServer : Object
  18 {
  19         WebKit.WebView view;
  20
  21         public FakeServer(WebKit.WebView wkview)
  22         {
  23                 this.view = wkview;
  24                 //
  25
  26
  27         // Hook up signals.
  28
  29         //this.view.resource_load_started.connect(on_resource_request_starting);
  30         //this.view.navigation_policy_decision_requested.connect(on_navigation_policy_decision_requested);
  31         //this.view.new_window_policy_decision_requested.connect(on_navigation_policy_decision_requested);
  32
  33          //
  34          this.view.get_context().register_uri_scheme("xhttp",  serve);
  35
  36         }
  37
  38     public void serve(WebKit.URISchemeRequest request)
  39     {
  40                 // request is URISchemeRequest
  41
  42                 print(request.get_path());
  43
  44                 var  file = File.new_for_path ("/home/alan/gitlive" + request.get_path());
  45                 if (!file.query_exists()) {
  46                         return;
  47                 }
  48
  49                 var stream = file.read();
  50                 var info = file.query_info(
  51                                  "standard::*",
  52                                 FileQueryInfoFlags.NONE
  53                 );
  54
  55                 request.finish (  stream, info.get_size(), info.get_content_type());
  56         }
  57 }