[infer][ondemand] Also store the summary to disk when the on-demand analysis raises an exception

Summary: The summary was stored to disk at the end of the on-demand analysis, unless an exception was raised in which case it was only updated in the in-memory cache.

Reviewed By: sblackshear

Differential Revision: D4612369

fbshipit-source-id: 1c8d75b

infer/src/backend/ondemand.ml

@@ -165,7 +165,7 @@ let run_proc_analysis ~propagate_exceptions analyze_proc curr_pdesc callee_pdesc
       { prev_summary.Specs.payload with Specs.preposts = Some []; } in
     let new_summary =
       { prev_summary with Specs.stats; payload; timestamp; } in
-    Specs.add_summary callee_pname new_summary;
+    Specs.store_summary callee_pname new_summary;
     new_summary in
 
   let old_state = save_global_state () in