From c95d1fba80e5e7af8cd5e8438d4338b20436a78e Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Mon, 1 Jun 2015 10:54:27 +0100
Subject: [PATCH] just in case...

---
 src/jsdevices.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/jsdevices.c b/src/jsdevices.c
index 0842c08d6..a019e765c 100644
--- a/src/jsdevices.c
+++ b/src/jsdevices.c
@@ -164,6 +164,7 @@ void jshTransmitClearDevice(IOEventFlags device) {
 
 /// Move all output from one device to another
 void jshTransmitMove(IOEventFlags from, IOEventFlags to) {
+  jshInterruptOff();
   unsigned char ptr = txTail;
   while (ptr != txHead) {
     if (IOEVENTFLAGS_GETTYPE(txBuffer[ptr].flags) == from) {
@@ -171,6 +172,7 @@ void jshTransmitMove(IOEventFlags from, IOEventFlags to) {
     }
     ptr = (unsigned char)((ptr+1)&TXBUFFERMASK);
   }
+  jshInterruptOn();
 }
 
 bool jshHasTransmitData() {