handle copyright less xml

diff --git a/util/update_copyrights b/util/update_copyrights
index 10c195da11f154fcc98b58a516b9e648a652291d..1fe25725c46ade7501596a77a6e1976b261800c0 100644 (file)
--- a/util/update_copyrights
+++ b/util/update_copyrights
@@ -15,7 +15,7 @@
 # OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
 # PERFORMANCE OF THIS SOFTWARE.
 
-# $Id: update_copyrights,v 1.26.206.12 2005/05/16 00:01:42 marka Exp $
+# $Id: update_copyrights,v 1.26.206.13 2005/09/06 01:59:59 marka Exp $
 
 require 5.002;
 
@@ -244,10 +244,15 @@ foreach $file (keys %file_types) {
                 if (/^<!DOCTYPE/) {
                         $before_copyright = $_;
                         $_ = <SOURCE>;
-                       while (! /^<!/ ) {
+                               ;
+                       while (!eof(SOURCE) && ! /^<!/ ) {
                                $before_copyright = "$before_copyright$_";
                                $_ = <SOURCE>;
                        }
+                       if (eof(SOURCE)) {
+                               close(SOURCE);
+                               next;
+                       }
                 }
                 if (/^<!/) {
                         $_ = <SOURCE> if $_ eq "<!--\n";