Make it possible to connect multiple WebChannels to the same server.
authorMilian Wolff <milian.wolff@kdab.com>
Tue, 9 Apr 2013 13:14:50 +0000 (15:14 +0200)
committerMilian Wolff <milian.wolff@kdab.com>
Tue, 9 Apr 2013 13:14:50 +0000 (15:14 +0200)
commit3f5bbd2ef8ea3be40ae431652c2fe8dc11d3ba5d
tree1fe9682eb9c1eb469c90bcadc3ed6c0aefd290e5
parent9c95eb354df9df7850ac3a5a0850c7400b3b2fe4
Make it possible to connect multiple WebChannels to the same server.

In principle everything worked before already, with the difference
that responses to channel.exec could not properly be distinguished.

This is now fixed by adding a UUID to the WebChannel and sending that
along with the integer exec ID and comparing it in response messages.
src/webchannel.js