From d42d4bb9eaefba4bf5e55fe752923e4d5d8065d5 Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Sat, 27 Apr 2013 15:18:27 +0100
Subject: [PATCH] looks like portals now use type .16, along with .11 and .12
 already used

---
 code/utils_misc.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/code/utils_misc.js b/code/utils_misc.js
index 53a04c0d..bd5c32c1 100644
--- a/code/utils_misc.js
+++ b/code/utils_misc.js
@@ -232,6 +232,7 @@ window.getTypeByGuid = function(guid) {
   // portals end in “.11” or “.12“, links in “.9", fields in “.b”
   // .11 == portals
   // .12 == portals
+  // .16 == portals
   // .9  == links
   // .b  == fields
   // .c  == player/creator
@@ -245,6 +246,7 @@ window.getTypeByGuid = function(guid) {
   switch(guid.slice(33)) {
     case '11':
     case '12':
+    case '16':
       return TYPE_PORTAL;
 
     case '9':