diff options
author | Jonathan Clark <jon.h.clark@gmail.com> | 2011-03-14 17:03:51 -0400 |
---|---|---|
committer | Jonathan Clark <jon.h.clark@gmail.com> | 2011-03-14 17:03:51 -0400 |
commit | 0cb8fdc99b9bb69b047e2e4c27fd975578be6875 (patch) | |
tree | 5f4a5940adb0c080c5c564103430bf147635dee4 | |
parent | e02558e0e1ebbf8487bf1a505f9102cde67fb471 (diff) |
more paranoid checking when (idiot/time-crunched) user tries to define his own <seg> tags during tuning
-rwxr-xr-x | vest/dist-vest.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/vest/dist-vest.pl b/vest/dist-vest.pl index f95754dc..d17d7de1 100755 --- a/vest/dist-vest.pl +++ b/vest/dist-vest.pl @@ -573,7 +573,11 @@ sub enseg { while (my $line=<SRC>){ chomp $line; if ($line =~ /^\s*<seg/i) { + if($line =~ /id="[0-9]+"/) { print NEWSRC "$line\n"; + } else { + die "When using segments with pre-generated <seg> tags, you must include a zero-based id attribute"; + } } else { print NEWSRC "<seg id=\"$i\">$line</seg>\n"; } |