Merge all recent changes from trunk.

FossilOrigin-Name: a353a8515fb2eff86042d0c33e39772f4d04e0b3
2014-08-06 02:03:35 +00:00
parent c0fea3cf53 bc5cf3813e
commit da2e5862d1
26 changed files with 587 additions and 318 deletions
@@ -863,6 +863,7 @@ proc speed_trial_summary {name} {
 #
 proc finish_test {} {
  catch {db close}
+  catch {db1 close}
  catch {db2 close}
  catch {db3 close}
  if {0==[info exists ::SLAVE]} { finalize_testing }