]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/METADATA/meta_lex.l
* the main function MUST return 0 to communicate everything was OK
[helm.git] / helm / metadata / create_V7_mowgli / METADATA / meta_lex.l
index 2f8c4b039f06204e2b77fb5831e52e84bd5038a3..18ea05cc9941127c6f4b8712bcdd34d35a9b5f84 100644 (file)
@@ -283,6 +283,12 @@ main(int argc, char *argv[])
     PGconn     *conn;
     PGresult   *res;
 
+    if (argc != 4)
+    {
+        fprintf(stderr, "Usage: meta <object_uri> <body_file> <type_file>\n");
+        exit(1);
+    }
+
     /*
      * begin, by setting the parameters for a backend connection if the
      * parameters are null, then the system will try to use reasonable
@@ -291,7 +297,7 @@ main(int argc, char *argv[])
      */
 
     /* make a connection to the database */
-    conn = PQconnectdb("user=helm dbname=mowgli");
+    conn = PQconnectdb("user=helm dbname=mowgli_test");
 
     /*
      * check to see that the backend connection was successfully made
@@ -310,16 +316,16 @@ main(int argc, char *argv[])
     init_symbol_table();
 
     // We process the body
-    if (!stat("tmp/body.xml",&buf)) 
+    if (!stat(argv[2],&buf)) 
     {
-        yyin = fopen("tmp/body.xml", "r");
+        yyin = fopen(argv[2], "r");
         position = INBODY;
         yylex();
         fclose(yyin);
      }
 
     // We process the type
-    yyin = fopen("tmp/type.xml", "r");
+    yyin = fopen(argv[3], "r");
     position = INTYPE;
     first_child = HERE;
     no_open_source = 0;
@@ -328,6 +334,8 @@ main(int argc, char *argv[])
     yylex(); 
     fclose(yyin);
     print_all(argv[1],conn);
+
+    return 0;
 }