annotate src/plugins/__init__.py @ 2354:5129a0506739

jp (shell): fixed use of profile + added EOF handling: - main profile (i.e. the one specified on command line when invocating "jp shell") was not used. It is now added to arguments if the value is not overriden on command line or in use - EOF (i.e. when user press C-d) is now understood as "quit" command
author Goffi <goffi@goffi.org>
date Fri, 08 Sep 2017 07:58:10 +0200
parents 8c7450bd9335
children 70399d1acb47
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1460
c7fd121a6180 core: getProfileName no raise ProfileUnknownError + minor doc fixes
Goffi <goffi@goffi.org>
parents: 1285
diff changeset
1 # FIXME: remove this when RSM and MAM are in wokkel
c7fd121a6180 core: getProfileName no raise ProfileUnknownError + minor doc fixes
Goffi <goffi@goffi.org>
parents: 1285
diff changeset
2 # XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
1266
9141bde7ff31 use sat.tmp.wokkel as a buffer module until the changes are integrated to wokkel
souliane <souliane@mailoo.org>
parents: 223
diff changeset
3 import wokkel
1767
8c7450bd9335 tmp (wokkel): removed delay as it is nearly identical to original one, and the additional exception should be catched elsewhere
Goffi <goffi@goffi.org>
parents: 1460
diff changeset
4 from sat.tmp.wokkel import pubsub as tmp_pubsub, rsm as tmp_rsm, mam as tmp_mam
1285
ed2c718bfe03 tmp, plugins: fixes the imports fron sat.tmp
souliane <souliane@mailoo.org>
parents: 1283
diff changeset
5 wokkel.pubsub = tmp_pubsub
ed2c718bfe03 tmp, plugins: fixes the imports fron sat.tmp
souliane <souliane@mailoo.org>
parents: 1283
diff changeset
6 wokkel.rsm = tmp_rsm
ed2c718bfe03 tmp, plugins: fixes the imports fron sat.tmp
souliane <souliane@mailoo.org>
parents: 1283
diff changeset
7 wokkel.mam = tmp_mam