| End_of_file -> ()
| GrafiteEngine.Drop -> clean_exit 1
);
- let proof_status,moo_content_rev,lexicon_content_rev =
+ let proof_status,moo_content_rev,lexicon_content_rev,dump =
match !grafite_status with
| s::_ ->
s.proof_status, s.moo_content_rev,
- (GrafiteTypes.get_lexicon s).LexiconEngine.lexicon_content_rev
+ (GrafiteTypes.get_lexicon s).LexiconEngine.lexicon_content_rev,
+ GrafiteTypes.get_dump s
| _ -> assert false
in
if proof_status <> GrafiteTypes.No_proof then
in
GrafiteMarshal.save_moo moo_fname moo_content_rev;
LexiconMarshal.save_lexicon lexicon_fname lexicon_content_rev;
+ NRstatus.Serializer.serialize ~baseuri:(NUri.uri_of_string baseuri) dump;
exit 0
end
with