diff src/tmp/wokkel/pubsub.py @ 2262:24f5a4d5f195

core: check uncatched exceptions during plugin import and stdui init, log error and exit if any found
author Goffi <goffi@goffi.org>
date Wed, 21 Jun 2017 19:40:13 +0200
parents 893030a9d351
children 3399971f0aa0
line wrap: on
line diff