From 811fab85a72879491d6ad3bf73e75edba2fcda04 Mon Sep 17 00:00:00 2001
From: Gordon Bateson <gordon@kanazawa-gu.ac.jp>
Date: Mon, 14 Dec 2009 03:28:26 +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 02fb5c334a4..92799c2532a 100644
--- a/question/format/hotpot/format.php
+++ b/question/format/hotpot/format.php
@@ -555,7 +555,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