# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1263973761 -3600
# Node ID 998ccc03375ba387ae2ccb6dd7af94baf38e09f6
# Parent  d12753b246fd5b135d3f6ea9b28f9fbd2fd82fa7
added "sync"

diff -r d12753b246fd -r 998ccc03375b si
--- a/si	Wed Jan 20 08:41:48 2010 +0100
+++ b/si	Wed Jan 20 08:49:21 2010 +0100
@@ -75,6 +75,7 @@
 
     SI::dumper::dump("$dir/dump/%s", %devices);
 
+    run("sync");
     exit;
 
 }