~tapaal-contributor/tapaal/query-export-bug-1767615

Viewing all changes in revision 952.1.1.

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2018-04-10 17:51:15 UTC
  • mto: This revision was merged to the branch mainline in revision 953.
  • Revision ID: kenneth@yrke.dk-20180410175115-ga91cfkhyyk3u05l
Fixes bug lp:1756865, catches exception if SpecialMacHandler can't be loaded, and continues running without MacOS integration

The used API for MacOS integration is depricated i Java9, exception handlinge added to adress this, so TAPAAL can still run on Java 9, without the MacOS integartion. 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: