# HG changeset patch
# User haftmann
# Date 1118910626 -7200
# Node ID 4f393b8f84b713e19ac44c96b059c786d20a0ba4
# Parent  0a2a6732c685a3c34cd964edcfefe3193b827c7c
isa-migrate ++

diff -r 0a2a6732c685 -r 4f393b8f84b7 Admin/isa-migrate
--- a/Admin/isa-migrate	Thu Jun 16 10:22:50 2005 +0200
+++ b/Admin/isa-migrate	Thu Jun 16 10:30:26 2005 +0200
@@ -68,7 +68,13 @@
                     }
                     $thyheader .=  "begin";
                     # do replacement here
-                    print "$file:\n$thyheader\n\n";
+                    if ($diag) {
+                        print "$file:\n$thyheader\n\n";
+                    } else {
+                        open(OSTREAM, ">$file") or die("error opening $file");
+                        print OSTREAM "$prelude$thyheader$postlude";
+                        close(OSTREAM);
+                    }
                 }
             }
         }
@@ -114,7 +120,7 @@
     my ($basename, $dirname, $ext) = fileparse($file, @suffices);
     #~ print "$file\n";
     if ($ext) {
-        open ISTREAM, $file or die("error opening $file");
+        open(ISTREAM, $file) or die("error opening $file");
         my @content = <ISTREAM>;
         close ISTREAM;
         if ($backupext) {