WebBrowser/Tools/Scripts.py

changeset 6149
e611e45a17d6
parent 6142
304a469455c8
child 6174
bb2989d750ce
equal deleted inserted replaced
6148:6c7af1e85e49 6149:e611e45a17d6
21 21
22 def setupWebChannel(worldId): 22 def setupWebChannel(worldId):
23 """ 23 """
24 Function generating a script to setup the web channel. 24 Function generating a script to setup the web channel.
25 25
26 @param worlId world ID for which to setup the channel 26 @param worldId world ID for which to setup the channel
27 @type int 27 @type int
28 @return script to setup the web channel 28 @return script to setup the web channel
29 @rtype str 29 @rtype str
30 """ 30 """
31 source = """ 31 source = """

eric ide

mercurial