From 10a2b8e3671f120b1fc7f15e3f2ca989cb7d1526 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 4 Feb 2023 13:24:37 +0100
Subject: [PATCH] Remove remote portal for now

---
 scene/lobby.pr | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/scene/lobby.pr b/scene/lobby.pr
index cb1abd9..e2bace7 100644
--- a/scene/lobby.pr
+++ b/scene/lobby.pr
@@ -52,15 +52,15 @@
     <scale <v 1.0 2.11 0.1> <move <v 0.0 0.5 0.6> <box>>>
   ]>>>
 
-<portal "door2" <route [<ws "wss://vr.demo.eighty-twenty.org/ws">]>>
-<sprite "door2" []
- <move <v -5.0 0.0 1.5>
-  <rotate <v 0.0 -0.1 0.0> [
-    <scale <v 1.0 2.11 1.0>
-     <texture ["textures/door1.jpg"]
-      <touchable <move <v 0.0 0.5 0.0> <plane>>>>>
-    <scale <v 1.0 2.11 0.1> <move <v 0.0 0.5 0.6> <box>>>
-  ]>>>
+; <portal "door2" <route [<ws "wss://vr.demo.eighty-twenty.org/ws">]>>
+; <sprite "door2" []
+;  <move <v -5.0 0.0 1.5>
+;   <rotate <v 0.0 -0.1 0.0> [
+;     <scale <v 1.0 2.11 1.0>
+;      <texture ["textures/door1.jpg"]
+;       <touchable <move <v 0.0 0.5 0.0> <plane>>>>>
+;     <scale <v 1.0 2.11 0.1> <move <v 0.0 0.5 0.6> <box>>>
+;   ]>>>
 
 <sprite "plans" []
  <texture ["plans/signal-2022-12-27-125451_002.jpeg"]