marionnet-dev team mailing list archive

Thread
Date

[Branch ~marionnet-drivers/marionnet/trunk] Rev 497: Minor change in state.ml. Now `dot' errors are redirected to /dev/null, in order to prevent an an...

To: marionnet-dev <marionnet-dev@xxxxxxxxxxxxxxxxxxx>
From: noreply@xxxxxxxxxxxxx
Date: Mon, 19 Jun 2017 13:17:29 -0000
Reply-to: noreply@xxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

------------------------------------------------------------
revno: 497
committer: Jean-Vincent Loddo <loddo@xxxxxxxxxxxxxxxxxxxx>
branch nick: marionnet
timestamp: Mon 2017-06-19 14:56:46 +0200
message:
  Minor change in state.ml. Now `dot' errors are redirected to /dev/null, in order to prevent an annoying message when marionnet is closed by the user and, in the same time, the callback refreshing the sketch is called asynchronously a last time before closing.
modified:
  gui/gui_bricks.ml
  state.ml


--
lp:marionnet
https://code.launchpad.net/~marionnet-drivers/marionnet/trunk

Your team marionnet-dev is subscribed to branch lp:marionnet.
To unsubscribe from this branch go to https://code.launchpad.net/~marionnet-drivers/marionnet/trunk/+edit-subscription