# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1327257662 -3600
# Node ID 5731b038fc7fe9d5b974120426424c0c59b8a920
# Parent  fd455b3ca6d4a7286fee1ab2fecd16fab2d5fb31
plugin radiocol: removed occupants list in radiocolStarted signal

diff -r fd455b3ca6d4 -r 5731b038fc7f src/plugins/plugin_misc_radiocol.py
--- a/src/plugins/plugin_misc_radiocol.py	Sun Jan 22 19:40:04 2012 +0100
+++ b/src/plugins/plugin_misc_radiocol.py	Sun Jan 22 19:41:02 2012 +0100
@@ -65,7 +65,7 @@
         self.radios={}
         host.bridge.addMethod("radiocolLaunch", ".plugin", in_sign='ass', out_sign='', method=self.radiocolLaunch) #args: occupants, profile
         host.bridge.addMethod("radiocolCreate", ".plugin", in_sign='ss', out_sign='', method=self.radiocolCreate) #args: room_jid, profile
-        host.bridge.addSignal("radiocolStarted", ".plugin", signature='ssass') #args: room_jid, referee, occupants, profile
+        host.bridge.addSignal("radiocolStarted", ".plugin", signature='sss') #args: room_jid, referee, profile
         host.trigger.add("MUC user joined", self.userJoinedTrigger)
 
     def createRadiocolElt(self, to_jid, type="normal"):
@@ -169,7 +169,7 @@
         for elt in radio_elt.elements():
             
             if elt.name == 'started': #new game created
-                self.host.bridge.radiocolStarted(room_jid.userhost(), from_jid.full(), [], profile) #FIXME: add occupants list here ?
+                self.host.bridge.radiocolStarted(room_jid.userhost(), from_jid.full(), profile)
             else:
                 error (_('Unmanaged game element: %s') % elt.name)