changeset 1752:6ad8e023a9f0

AREA bug msg http://www.weather.gov/ptwc/ doesn't work because it uses real numbers rather than integers for coords. The 4.01 spec doesn't quite _rigorously_ state that real numbers are no good in that case, so far as I can see, but it's pretty clearly the intention -- and html5 _does_ spell this out.
author corvid <corvid@lavabit.com>
date Thu, 21 Oct 2010 18:59:40 +0000
parents 4eabd51a5d96
children 7874398eb633
files src/html.cc
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/html.cc	Sun Oct 17 22:14:11 2010 +0200
+++ b/src/html.cc	Thu Oct 21 18:59:40 2010 +0000
@@ -2265,7 +2265,7 @@
       if (!*newtail)
          break;
       if (*newtail != ',') {
-         BUG_MSG("usemap coords MUST be separated by commas.\n");
+         BUG_MSG("area coords must be integers separated by commas.\n");
       }
       tail = newtail + 1;
    }