Minor improvements to run(), an UI

2014/juin/video_remote/app.py

@@ -68,7 +68,8 @@ def get_uuid():
 # On lance l'application. Ceci va lancer le serveur
 # puis le client. On peut désactiver le lancement du
 # serveur une fois qu'on met tout ça en prod.
-app.run(url="ws://0.0.0.0:8080/")
+if __name__ == "__main__":
+   app.run(url="ws://0.0.0.0:8080/")
 # On ne peut rien mettre comme code ici, il faut le
 # mettre dans @app.signal('onjoined') si on veut
 # entrer du code après que l'app soit lancée.

2014/juin/video_remote/control.html

@@ -5,10 +5,12 @@
   <meta charset='utf-8'>
   <script src="https://autobahn.s3.amazonaws.com/autobahnjs/latest/autobahn.min.jgz"
          type="text/javascript"></script>
+  <!-- Zoom du viewport sur mobile pour éviter d'avoir
+       à le faire à la main. -->
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <style type="text/css">
     #controls {
-      width:300px;
+      width:350px;
       margin:auto;
     }
     #controls button {
@@ -90,8 +92,10 @@
       control.togglePlay = function() {
         if (control.playing){
           session.call(uuid + '.pause');
+          control.setPlaying(false);
         } else {
           session.call(uuid + '.play');
+          control.setPlaying(true);
         }
       };