core: getProfileName no raise ProfileUnknownError + minor doc fixes
This commit is contained in:
parent
b7409e0488
commit
0f10526746
1 changed files with 9 additions and 4 deletions
|
|
@ -1,4 +1,5 @@
|
|||
# TODO: remove this when RSM and MAM are in wokkel
|
||||
# FIXME: remove this when RSM and MAM are in wokkel
|
||||
# XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
|
||||
import wokkel
|
||||
from sat.tmp.wokkel import delay as tmp_delay, pubsub as tmp_pubsub, rsm as tmp_rsm, mam as tmp_mam
|
||||
wokkel.delay = tmp_delay
|
||||
|
|
|
|||
Loading…
Reference in a new issue