# HG changeset patch # User rougeronj # Date 1421775471 -3600 # Node ID 0d7dac03c1a0e79051552f42582fddc32f0458b3 # Parent 9d968fbcaa2add86ccac521c832140a46a494165# Parent 72d767c5142df7fc6387215096321295fbaaa73d Merge with 72d767c5142df7fc6387215096321295fbaaa73d Update doubleroll and annotsroll to support stageView diff -r 9d968fbcaa2a -r 0d7dac03c1a0 annot-server/websockets.py --- a/annot-server/websockets.py Tue Jan 20 12:00:40 2015 +0100 +++ b/annot-server/websockets.py Tue Jan 20 18:37:51 2015 +0100 @@ -1,4 +1,3 @@ - # # See LICENCE for detail # Copyright (c) 2014 IRI @@ -50,8 +49,8 @@ def register(self, client): if not client in self.clients: - print("registered client {}".format(client.peer)) - self.clients.append(client) + print("registered client {}".format(client.peer)) + self.clients.append(client) def unregister(self, client): if client in self.clients: @@ -60,11 +59,11 @@ if client in self.filters: self.filters.pop(client, None) - def broadcast(self, msg, filter): + def broadcast(self, msg, filter_list): print("broadcasting prepared message '{}' ..".format(msg)) preparedMsg = self.prepareMessage(msg) for c in self.clients: - if all([ (k in filter and filter[k] in v) for k,v in self.filters.get(c, {}).items()]): + if all([ (k in filter_list and filter_list[k] in v) for k,v in self.filters.get(c, {}).items()]): c.sendPreparedMessage(preparedMsg) print("prepared message sent to {}".format(c.peer)) diff -r 9d968fbcaa2a -r 0d7dac03c1a0 client/annotviz/app/annotsroll.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/client/annotviz/app/annotsroll.html Tue Jan 20 18:37:51 2015 +0100 @@ -0,0 +1,92 @@ + + +
+ + + + + + ++ stop intervals - + start intervals - + temps écoulé : +
+ + + + + + diff -r 9d968fbcaa2a -r 0d7dac03c1a0 client/annotviz/app/index.html --- a/client/annotviz/app/index.html Tue Jan 20 12:00:40 2015 +0100 +++ b/client/annotviz/app/index.html Tue Jan 20 18:37:51 2015 +0100 @@ -7,29 +7,21 @@ -- stop intervals - - temps écoulé : +
- - - - -