[gnue] r8239 - trunk/gnue-appserver/src/language

[jan]

Author: jan
Date: 2006-03-17 23:37:32 -0600 (Fri, 17 Mar 2006)
New Revision: 8239

Modified:
   trunk/gnue-appserver/src/language/Session.py
Log:
adapt language interface to RPC API changes:
close -> _destroy


Modified: trunk/gnue-appserver/src/language/Session.py
===================================================================
--- trunk/gnue-appserver/src/language/Session.py        2006-03-16 14:15:47 UTC 
(rev 8238)
+++ trunk/gnue-appserver/src/language/Session.py        2006-03-18 05:37:32 UTC 
(rev 8239)
@@ -156,7 +156,7 @@
     assert gEnter (6)
 
     if self.__proxy is not None:
-      self.__proxy.close (False)
+      self.__proxy._destroy ()
       self.__proxy = None
 
     assert gLeave (6)