/[svn]/cduce/trunk/runtime/load_xml.ml
ViewVC logotype

Diff of /cduce/trunk/runtime/load_xml.ml

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

revision 90 by abate, Tue Jul 10 17:04:45 2007 UTC revision 91 by abate, Tue Jul 10 17:05:27 2007 UTC
# Line 2  Line 2 
2    
3  (*TODO: close the file ! *)  (*TODO: close the file ! *)
4    
5    let auth = ref true
6    let set_auth b = auth := b
7    
8  open Pxp_yacc  open Pxp_yacc
9  open Pxp_lexer_types  open Pxp_lexer_types
10  open Pxp_types  open Pxp_types
# Line 70  Line 73 
73    get ();    get ();
74    parse_doc ()    parse_doc ()
75    
76    
77    let run s =
78      if not !auth then
79        raise
80          (Location.Generic
81             "load_xml: operation not authorized in the web prototype"
82          );
83      try run s
84      with exn ->
85        raise
86          (Location.Generic (Pxp_types.string_of_exn exn))
87    
Legend:
Removed from v.90  
changed lines
  Added in v.91
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5