Merge pull request #2704 from BrzVlad/fix-monitor-abort
authorRodrigo Kumpera <kumpera@gmail.com>
Fri, 4 Mar 2016 19:49:33 +0000 (14:49 -0500)
committerRodrigo Kumpera <kumpera@gmail.com>
Fri, 4 Mar 2016 19:49:33 +0000 (14:49 -0500)
[runtime] Fix monitor abort


Trivial merge