print HTML character references as 4+ digits hexadecimal, like Unicode;

from bentley@, tweaked by me

1 files changed, 84 insertions, 84 deletions

diff --git a/regress/char/unicode/latin1.out_html b/regress/char/unicode/latin1.out_html
index 0196d76d..b7d45ecb 100644
--- a/regress/char/unicode/latin1.out_html
+++ b/regress/char/unicode/latin1.out_html
@@ -1,86 +1,86 @@
 BEGINTEST
-¢¢	CENT SIGN
-¤¤	CURRENCY SIGN
-¥¥	YEN SIGN
-¦¦	BROKEN BAR
-¨¨	DIAERESIS
-©©	COPYRIGHT SIGN
-ªª	FEMININE ORDINAL INDICATOR
-««	LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
-¬¬¬	NOT SIGN
-­    SOFT HYPHEN
-®®	REGISTERED SIGN
-±±±	PLUS-MINUS SIGN
-²²	SUPERSCRIPT TWO
-³³	SUPERSCRIPT THREE
-´´´	ACUTE ACCENT
-µµ	MICRO SIGN
-··	MIDDLE DOT
-¸¸	CEDILLA
-¹¹	SUPERSCRIPT ONE
-ºº	MASCULINE ORDINAL INDICATOR
-»»	RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
-¼¼	VULGAR FRACTION ONE QUARTER
-½½	VULGAR FRACTION ONE HALF
-¾¾	VULGAR FRACTION THREE QUARTERS
-ÀÀ	LATIN CAPITAL LETTER A WITH GRAVE
-ÁÁ	LATIN CAPITAL LETTER A WITH ACUTE
-ÂÂ	LATIN CAPITAL LETTER A WITH CIRCUMFLEX
-ÃÃ	LATIN CAPITAL LETTER A WITH TILDE
-ÄÄ	LATIN CAPITAL LETTER A WITH DIAERESIS
-ÅÅ	LATIN CAPITAL LETTER A WITH RING ABOVE
-ÆÆ	LATIN CAPITAL LETTER AE
-ÇÇ	LATIN CAPITAL LETTER C WITH CEDILLA
-ÈÈ	LATIN CAPITAL LETTER E WITH GRAVE
-ÉÉ	LATIN CAPITAL LETTER E WITH ACUTE
-ÊÊ	LATIN CAPITAL LETTER E WITH CIRCUMFLEX
-ËË	LATIN CAPITAL LETTER E WITH DIAERESIS
-ÌÌ	LATIN CAPITAL LETTER I WITH GRAVE
-ÍÍ	LATIN CAPITAL LETTER I WITH ACUTE
-ÎÎ	LATIN CAPITAL LETTER I WITH CIRCUMFLEX
-ÏÏ	LATIN CAPITAL LETTER I WITH DIAERESIS
-ÐÐ	LATIN CAPITAL LETTER ETH
-ÑÑ	LATIN CAPITAL LETTER N WITH TILDE
-ÒÒ	LATIN CAPITAL LETTER O WITH GRAVE
-ÓÓ	LATIN CAPITAL LETTER O WITH ACUTE
-ÔÔ	LATIN CAPITAL LETTER O WITH CIRCUMFLEX
-ÕÕ	LATIN CAPITAL LETTER O WITH TILDE
-ÖÖ	LATIN CAPITAL LETTER O WITH DIAERESIS
-×××	MULTIPLICATION SIGN
-ØØ	LATIN CAPITAL LETTER O WITH STROKE
-ÙÙ	LATIN CAPITAL LETTER U WITH GRAVE
-ÚÚ	LATIN CAPITAL LETTER U WITH ACUTE
-ÛÛ	LATIN CAPITAL LETTER U WITH CIRCUMFLEX
-ÜÜ	LATIN CAPITAL LETTER U WITH DIAERESIS
-Ý	LATIN CAPITAL LETTER Y WITH ACUTE
-àà	LATIN SMALL LETTER A WITH GRAVE
-áá	LATIN SMALL LETTER A WITH ACUTE
-ââ	LATIN SMALL LETTER A WITH CIRCUMFLEX
-ãã	LATIN SMALL LETTER A WITH TILDE
-ää	LATIN SMALL LETTER A WITH DIAERESIS
-åå	LATIN SMALL LETTER A WITH RING ABOVE
-ææ	LATIN SMALL LETTER AE
-çç	LATIN SMALL LETTER C WITH CEDILLA
-èè	LATIN SMALL LETTER E WITH GRAVE
-éé	LATIN SMALL LETTER E WITH ACUTE
-êê	LATIN SMALL LETTER E WITH CIRCUMFLEX
-ëë	LATIN SMALL LETTER E WITH DIAERESIS
-ìì	LATIN SMALL LETTER I WITH GRAVE
-íí	LATIN SMALL LETTER I WITH ACUTE
-îî	LATIN SMALL LETTER I WITH CIRCUMFLEX
-ïï	LATIN SMALL LETTER I WITH DIAERESIS
-ññ	LATIN SMALL LETTER N WITH TILDE
-òò	LATIN SMALL LETTER O WITH GRAVE
-óó	LATIN SMALL LETTER O WITH ACUTE
-ôô	LATIN SMALL LETTER O WITH CIRCUMFLEX
-õõ	LATIN SMALL LETTER O WITH TILDE
-öö	LATIN SMALL LETTER O WITH DIAERESIS
-÷÷÷	DIVISION SIGN
-øø	LATIN SMALL LETTER O WITH STROKE
-ùù	LATIN SMALL LETTER U WITH GRAVE
-úú	LATIN SMALL LETTER U WITH ACUTE
-ûû	LATIN SMALL LETTER U WITH CIRCUMFLEX
-üü	LATIN SMALL LETTER U WITH DIAERESIS
-ý	LATIN SMALL LETTER Y WITH ACUTE
-ÿÿ	LATIN SMALL LETTER Y WITH DIAERESIS
+¢¢	CENT SIGN
+¤¤	CURRENCY SIGN
+¥¥	YEN SIGN
+¦¦	BROKEN BAR
+¨¨	DIAERESIS
+©©	COPYRIGHT SIGN
+ªª	FEMININE ORDINAL INDICATOR
+««	LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
+¬¬¬	NOT SIGN
+­    SOFT HYPHEN
+®®	REGISTERED SIGN
+±±±	PLUS-MINUS SIGN
+²²	SUPERSCRIPT TWO
+³³	SUPERSCRIPT THREE
+´´´	ACUTE ACCENT
+µµ	MICRO SIGN
+··	MIDDLE DOT
+¸¸	CEDILLA
+¹¹	SUPERSCRIPT ONE
+ºº	MASCULINE ORDINAL INDICATOR
+»»	RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
+¼¼	VULGAR FRACTION ONE QUARTER
+½½	VULGAR FRACTION ONE HALF
+¾¾	VULGAR FRACTION THREE QUARTERS
+ÀÀ	LATIN CAPITAL LETTER A WITH GRAVE
+ÁÁ	LATIN CAPITAL LETTER A WITH ACUTE
+ÂÂ	LATIN CAPITAL LETTER A WITH CIRCUMFLEX
+ÃÃ	LATIN CAPITAL LETTER A WITH TILDE
+ÄÄ	LATIN CAPITAL LETTER A WITH DIAERESIS
+ÅÅ	LATIN CAPITAL LETTER A WITH RING ABOVE
+ÆÆ	LATIN CAPITAL LETTER AE
+ÇÇ	LATIN CAPITAL LETTER C WITH CEDILLA
+ÈÈ	LATIN CAPITAL LETTER E WITH GRAVE
+ÉÉ	LATIN CAPITAL LETTER E WITH ACUTE
+ÊÊ	LATIN CAPITAL LETTER E WITH CIRCUMFLEX
+ËË	LATIN CAPITAL LETTER E WITH DIAERESIS
+ÌÌ	LATIN CAPITAL LETTER I WITH GRAVE
+ÍÍ	LATIN CAPITAL LETTER I WITH ACUTE
+ÎÎ	LATIN CAPITAL LETTER I WITH CIRCUMFLEX
+ÏÏ	LATIN CAPITAL LETTER I WITH DIAERESIS
+ÐÐ	LATIN CAPITAL LETTER ETH
+ÑÑ	LATIN CAPITAL LETTER N WITH TILDE
+ÒÒ	LATIN CAPITAL LETTER O WITH GRAVE
+ÓÓ	LATIN CAPITAL LETTER O WITH ACUTE
+ÔÔ	LATIN CAPITAL LETTER O WITH CIRCUMFLEX
+ÕÕ	LATIN CAPITAL LETTER O WITH TILDE
+ÖÖ	LATIN CAPITAL LETTER O WITH DIAERESIS
+×××	MULTIPLICATION SIGN
+ØØ	LATIN CAPITAL LETTER O WITH STROKE
+ÙÙ	LATIN CAPITAL LETTER U WITH GRAVE
+ÚÚ	LATIN CAPITAL LETTER U WITH ACUTE
+ÛÛ	LATIN CAPITAL LETTER U WITH CIRCUMFLEX
+ÜÜ	LATIN CAPITAL LETTER U WITH DIAERESIS
+Ý	LATIN CAPITAL LETTER Y WITH ACUTE
+àà	LATIN SMALL LETTER A WITH GRAVE
+áá	LATIN SMALL LETTER A WITH ACUTE
+ââ	LATIN SMALL LETTER A WITH CIRCUMFLEX
+ãã	LATIN SMALL LETTER A WITH TILDE
+ää	LATIN SMALL LETTER A WITH DIAERESIS
+åå	LATIN SMALL LETTER A WITH RING ABOVE
+ææ	LATIN SMALL LETTER AE
+çç	LATIN SMALL LETTER C WITH CEDILLA
+èè	LATIN SMALL LETTER E WITH GRAVE
+éé	LATIN SMALL LETTER E WITH ACUTE
+êê	LATIN SMALL LETTER E WITH CIRCUMFLEX
+ëë	LATIN SMALL LETTER E WITH DIAERESIS
+ìì	LATIN SMALL LETTER I WITH GRAVE
+íí	LATIN SMALL LETTER I WITH ACUTE
+îî	LATIN SMALL LETTER I WITH CIRCUMFLEX
+ïï	LATIN SMALL LETTER I WITH DIAERESIS
+ññ	LATIN SMALL LETTER N WITH TILDE
+òò	LATIN SMALL LETTER O WITH GRAVE
+óó	LATIN SMALL LETTER O WITH ACUTE
+ôô	LATIN SMALL LETTER O WITH CIRCUMFLEX
+õõ	LATIN SMALL LETTER O WITH TILDE
+öö	LATIN SMALL LETTER O WITH DIAERESIS
+÷÷÷	DIVISION SIGN
+øø	LATIN SMALL LETTER O WITH STROKE
+ùù	LATIN SMALL LETTER U WITH GRAVE
+úú	LATIN SMALL LETTER U WITH ACUTE
+ûû	LATIN SMALL LETTER U WITH CIRCUMFLEX
+üü	LATIN SMALL LETTER U WITH DIAERESIS
+ý	LATIN SMALL LETTER Y WITH ACUTE
+ÿÿ	LATIN SMALL LETTER Y WITH DIAERESIS
 ENDTEST