From cb514f984e65dd2b2b66c8900f31c749d27bd7ad Mon Sep 17 00:00:00 2001
From: Gordon Bateson <gordon@kanazawa-gu.ac.jp>
Date: Mon, 14 Dec 2009 03:29:33 +0000
Subject: [PATCH] for consistency, use 0x80 instead of 128 in
 hotpot_charcode_to_utf8()

---
 question/format/hotpot/format.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/question/format/hotpot/format.php b/question/format/hotpot/format.php
index a9fdc72467..04847adb05 100644
--- a/question/format/hotpot/format.php
+++ b/question/format/hotpot/format.php
@@ -517,7 +517,7 @@ function hotpot_charcode_to_utf8($charcode) {
     }
     if ($charcode <= 0x7FF) {
         // 2-byte char
-        return chr(($charcode >> 0x06) + 0xC0).chr(($charcode & 0x3F) + 128);
+        return chr(($charcode >> 0x06) + 0xC0).chr(($charcode & 0x3F) + 0x80);
     }
     if ($charcode <= 0xFFFF) {
         // 3-byte char
-- 
2.39.5