Multiple instances of the same Dashboard

For various purposes it sounds like a tempting idea to launch several instances of the same Dashboard. However, currently all ws connections use Genie.config.webchannels_default_route as channel. Different instances should have different channels.

I propose to allow for an additional parameter channel that can be passed to Stipple.init(), which assures that the model as well as the js backend communicate via this channel. I currently use it for a multi-user scenario, with a load balancer sitting in front that manages security and sets a unique id that cannot be modified by the client. I will submit a series of PRs for Genie, Stipple and StippleUI to show how this may look like.

[essenciary]

@hhaensel Btw, would you like to contribute this example to the demos repo? https://github.com/GenieFramework/StippleDemos

[essenciary]

@hhaensel Thanks for the example, very useful for the tests 😃

I’ve been digging into this and type piracy is a big issue, so that’s a no go. And with the computational cost of exceptions being high, I came up with this solution: https://github.com/GenieFramework/Stipple.jl/commit/e78440f9f478a625f14f12fdd87ec72abc68c2d2

Julia is very fast at checking types so we can use that to our advantage. So I just added explicit support for Int to Float conversions, without extending parse or convert (so no type piracy). Seems to work great so I registered v0.7.1 with the patch.