/[mojave]/metaprl/support/shell/shell_browser.ml
ViewVC logotype

Diff of /metaprl/support/shell/shell_browser.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 9654 by nogin, Tue Jan 24 04:51:23 2006 UTC revision 9655 by nogin, Tue Oct 31 18:16:04 2006 UTC
# Line 760  Line 760 
760      * Print the session state.      * Print the session state.
761      *)      *)
762     let print_session server state session buf =     let print_session server state session buf =
       let { http_host = host;  
             http_port = port  
           } = http_info server  
       in  
763        let { session_id              = id;        let { session_id              = id;
764              session_cwd             = cwd;              session_cwd             = cwd;
765              session_menu_version    = menu_version;              session_menu_version    = menu_version;
# Line 783  Line 779 
779        let js_edit = Lm_string_util.js_escaped edit in        let js_edit = Lm_string_util.js_escaped edit in
780           Printf.bprintf buf "\tvar session = new Array();\n";           Printf.bprintf buf "\tvar session = new Array();\n";
781           Printf.bprintf buf "\tsession['cwd']          = '%s';\n" js_cwd;           Printf.bprintf buf "\tsession['cwd']          = '%s';\n" js_cwd;
782           Printf.bprintf buf "\tsession['location']     = '%s://%s:%d/session/%d/content%s/';\n" Shell_state.protocol_name host port id js_cwd;           Printf.bprintf buf "\tsession['location']     = '/session/%d/content%s/';\n" id js_cwd;
783           Printf.bprintf buf "\tsession['menu']         = %d;\n" menu_version;           Printf.bprintf buf "\tsession['menu']         = %d;\n" menu_version;
784           Printf.bprintf buf "\tsession['content']      = %d;\n" content_version;           Printf.bprintf buf "\tsession['content']      = %d;\n" content_version;
785           Printf.bprintf buf "\tsession['message']      = %d;\n" message_version;           Printf.bprintf buf "\tsession['message']      = %d;\n" message_version;
# Line 912  Line 908 
908      * Something failed.  Ask the browser to start over.      * Something failed.  Ask the browser to start over.
909      *)      *)
910     let print_redisplay_page which_uri server state session outx =     let print_redisplay_page which_uri server state session outx =
       let { http_host     = host;  
             http_port     = port  
           } = http_info server  
       in  
911        let { session_id = id;        let { session_id = id;
912              session_cwd = cwd              session_cwd = cwd
913            } = session            } = session
914        in        in
915        let uri =        let uri =
916           sprintf "%s://%s:%d/session/%d/%s" Shell_state.protocol_name host port (dest_pid id) (which_uri cwd)           sprintf "/session/%d/%s" (dest_pid id) (which_uri cwd)
917        in        in
918           if !debug_http then           if !debug_http then
919              eprintf "Redirecting to %s@." uri;              eprintf "Redirecting to %s@." uri;

Legend:
Removed from v.9654  
changed lines
  Added in v.9655

  ViewVC Help
Powered by ViewVC 1.1.26