view .hgtags @ 112:4f2b89e6fde2

RLG-Web: improvements to choices and status messaging. Server-side, have gamemux 'end' events include the name and game, so they can be sent to WebSockets connected to /status. This means a WebSocket client only needs to update its choice list when it gets a begin or end message with its own username. So it only needs to check /pstatus/<name> at those times and can stop polling.
author John "Elwin" Edwards <elwin@sdf.org>
date Mon, 16 Jul 2012 08:23:51 -0700
parents 2880cc4372bd
children 7ef3a1a084b9
line wrap: on
line source

ab82ae1ba793094e27852f6b0f2914f299d0e42f beta1
4728fc71bbdaee0bcfd7059d8bced74790faefbc beta2
3fd410c52a614138d0bb76c7e6f9880144e66b3c beta3
75a016c49076a724f17df0d0aac4d6acedf4467f beta4