Removed a small bug/inefficiency on writing the histogram in online_p…

…age.
collaborativetrust · Aug 15, 2009 · 246faec · 246faec
1 parent b32f756
commit 246faec
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/analysis/online_page.ml b/analysis/online_page.ml
@@ -1334,6 +1334,7 @@ class page
 		db#start_transaction;
 		db#write_histogram delta_hist new_hi_median;
 		db#commit;
+		histogram_updated <- false;
 		n_attempts := n_retries
 	      end 
 	    with Online_db.DB_TXN_Bad ->