[Orxonox-commit 318] r2107 - media/gui/scripts

[rgrieder at orxonox.net]

Author: rgrieder
Date: 2009-05-01 13:47:21 +0200 (Fri, 01 May 2009)
New Revision: 2107

Modified:
   media/gui/scripts/loadGUI_2.lua
Log:
Fixed lua code to have compatibility with Lua 5.0

Modified: media/gui/scripts/loadGUI_2.lua
===================================================================
--- media/gui/scripts/loadGUI_2.lua	2009-04-30 14:53:49 UTC (rev 2106)
+++ media/gui/scripts/loadGUI_2.lua	2009-05-01 11:47:21 UTC (rev 2107)
@@ -48,7 +48,7 @@
         gui = GUI.new(win, filename)
         loadedGUIs[filename] = gui
         -- 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