Index: trunk/tools/delete_convolved_diff.pl
===================================================================
--- trunk/tools/delete_convolved_diff.pl	(revision 27241)
+++ trunk/tools/delete_convolved_diff.pl	(revision 27599)
@@ -74,4 +74,7 @@
 
     my $results = $db->selectall_arrayref( $sql ) or die "Unable to execute SQL: $DBI::errstr";
+
+    $db->disconnect;
+
     foreach my $result ( @$results ) {
         my $path = $$result[0];
