gel.world: Work on server and client worlds.

2024-10-16 19:36:46 +11:00
parent 3077f2a4cd
commit ad2f92b791
10 changed files with 48 additions and 21 deletions
--- a/4-high/gel/source/world/gel-world-server.ads
+++ b/4-high/gel/source/world/gel-world-server.ads
@@ -12,7 +12,7 @@ package gel.World.server
 --  Provides a gel world server.
 --
 is
-   pragma Suppress (Container_Checks);     -- Suppress expensive tamper checks.
+   --  pragma Suppress (Container_Checks);     -- Suppress expensive tamper checks.

   type Item  is limited new gel.World.item
   with private;