[paparazzi-commits] [4538] fix a bug when main_freq is not default

[Gautier Hattenberger]

Revision: 4538
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=4538
Author:   gautier
Date:     2010-02-04 09:45:08 +0000 (Thu, 04 Feb 2010)
Log Message:
-----------
fix a bug when main_freq is not default

Modified Paths:
--------------
    paparazzi3/trunk/sw/tools/gen_modules.ml

Modified: paparazzi3/trunk/sw/tools/gen_modules.ml
===================================================================
--- paparazzi3/trunk/sw/tools/gen_modules.ml    2010-02-04 02:18:41 UTC (rev 
4537)
+++ paparazzi3/trunk/sw/tools/gen_modules.ml    2010-02-04 09:45:08 UTC (rev 
4538)
@@ -344,10 +344,8 @@
     fprintf out_h "#define MODULES_STOP  3\n";
     nl ();
     let modules = try (ExtXml.child xml "modules") with _ -> 
Xml.Element("modules",[],[]) in
-    try
-      let main_freq = Xml.attrib modules "main_freq" in
-      freq := int_of_string main_freq;
-    with _ -> ();
+    let main_freq = try (int_of_string (Xml.attrib modules "main_freq")) with 
_ -> !freq in
+    freq := main_freq;
     let modules_list = List.map (get_modules modules_dir) (Xml.children 
modules) in
     let modules_name = 
       (List.map (fun l -> try Xml.attrib l "name" with _ -> "") (Xml.children 
modules)) @