[Orxonox-commit 759] r2205 - media/gui/scripts

[rgrieder at orxonox.net]

Author: rgrieder
Date: 2009-07-13 21:45:16 +0200 (Mon, 13 Jul 2009)
New Revision: 2205

Modified:
   media/gui/scripts/loadGUI_3.lua
Log:
Fixed lua 5.1, again. The timing of the last fixing was a bit unfortunate ;)

Modified: media/gui/scripts/loadGUI_3.lua
===================================================================
--- media/gui/scripts/loadGUI_3.lua	2009-07-12 16:34:27 UTC (rev 2204)
+++ media/gui/scripts/loadGUI_3.lua	2009-07-13 19:45:16 UTC (rev 2205)
@@ -27,7 +27,7 @@
         loadedGui = loadedGuiNS:load()
         loadedGUIs[filename] = loadedGui
         -- if there has no GUI been loaded yet, set new GUI as current
-        if #loadedGUIs == 1 then
+        if table.getn(loadedGUIs) == 1 then
             current = loadedGUIs[1]
             showing = false
         end