comparison src/plugins/__init__.py @ 1460:c7fd121a6180

core: getProfileName no raise ProfileUnknownError + minor doc fixes
author Goffi <goffi@goffi.org>
date Sun, 16 Aug 2015 00:41:58 +0200
parents ed2c718bfe03
children 8c7450bd9335
comparison
equal deleted inserted replaced
1459:4c4f88d7b156 1460:c7fd121a6180
1 # TODO: remove this when RSM and MAM are in wokkel 1 # FIXME: remove this when RSM and MAM are in wokkel
2 # XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
2 import wokkel 3 import wokkel
3 from sat.tmp.wokkel import delay as tmp_delay, pubsub as tmp_pubsub, rsm as tmp_rsm, mam as tmp_mam 4 from sat.tmp.wokkel import delay as tmp_delay, pubsub as tmp_pubsub, rsm as tmp_rsm, mam as tmp_mam
4 wokkel.delay = tmp_delay 5 wokkel.delay = tmp_delay
5 wokkel.pubsub = tmp_pubsub 6 wokkel.pubsub = tmp_pubsub
6 wokkel.rsm = tmp_rsm 7 wokkel.rsm = tmp_rsm