(* MISC FUNCTIONS *)
(* CSC: IMPERATIVE AND NOT VERY CLEAN, TO GET THE LAST ISSUED QUERY *)
+(* FG : THIS FUNCTION IS BECOMING A REAL NONSENSE *)
let get_last_query =
let query = ref "" in
+ let out s = query := ! query ^ s in
MQueryGenerator.set_confirm_query
- (function q -> query := MQueryUtil.text_of_query q ; true) ;
- function result -> !query ^ " <h1>Result:</h1> " ^ MQueryUtil.text_of_result result "<br>"
+ (function q ->
+ query := ""; MQueryUtil.text_of_query out q ""; true);
+ function result ->
+ out (!query ^ " <h1>Result:</h1> "); MQueryUtil.text_of_result out result "<br>";
+ !query
;;
let