# HG changeset patch
# User ymh
# Date 1421679317 -3600
# Node ID f58715468f1efff51eafa413ef722bb7bc39d747
# Parent 806739a2685816cf96f839306f0a12ddbd9cf6a4# Parent a323578ea954b64dab616ce82381f1aa6e140ff4
Merged revison 95
diff -r a323578ea954 -r f58715468f1e annot-server/websockets.py
--- a/annot-server/websockets.py Mon Jan 19 09:52:52 2015 +0100
+++ b/annot-server/websockets.py Mon Jan 19 15:55:17 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 a323578ea954 -r f58715468f1e client/annotviz/app/index.html
--- a/client/annotviz/app/index.html Mon Jan 19 09:52:52 2015 +0100
+++ b/client/annotviz/app/index.html Mon Jan 19 15:55:17 2015 +0100
@@ -7,29 +7,19 @@
- Piano Roll
+ Piano Roll Tests
- Piano Roll
-
-
+ Piano Roll Tests
- stop intervals
- - temps écoulé :
+
-
-
-
-
-