[Ur] obtain signal's value on a server side

[Sergey Mironov]

2015-03-05 23:27 GMT+03:00 Adam Chlipala <adamc at csail.mit.edu>:
> That seems like a good workaround to me.  It would be
> interesting-in-a-bad-way to have to represent signals on the server side, in
> a way that allows them to be embedded inside bits of client-side code that
> reference variables defined in server-side code!

OK. I'll try the workaround soon and then report.

Regards,
Sergey