Changeset 408 for trunk

Timestamp:

Jan 27, 2020, 12:19:20 PM (4 years ago)

Author:

g7moreau

Message:

• Add svn pan zoom and begin small switch map history

Location:

trunk

Files:

• klask (modified) (3 diffs)
• push-web (modified) (7 diffs)

trunk/klask

@@ -1 +1 @@
 #!/usr/bin/perl -w
 #
-# Copyright (C) 2005-2019 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
+# Copyright (C) 2005-2020 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
 # License GNU GPL version 2 or later and Perl equivalent
 #
@@ -1233 +1233 @@
    print <<'END';
 klask - port and search manager for switches, map management
-Copyright (C) 2005-2019 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
+Copyright (C) 2005-2020 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
 License GNU GPL version 2 or later and Perl equivalent
 END
@@ -3916 +3916 @@
 License GNU GPL version 2 or later and Perl equivalent
 
-Copyright (C) 2005-2019 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>.
+Copyright (C) 2005-2020 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>.

trunk/push-web

@@ -1 +1 @@
 #!/bin/bash
 #
-# Copyright (C) 2005-2018 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
+# Copyright (C) 2005-2020 Gabriel Moreau <Gabriel.Moreau(A)univ-grenoble-alpes.fr>
 # License GNU GPL version 2 or later
 #
@@ -42 +42 @@
 
 LOCALTIME=$(date "+%Y-%m-%d %H:%M")
-
+TIMEFILE=$(date "+%Y-%m-%d.%H-%M")
+
+CACHE_TIMEOUT=50
+find ${TMP}/ -type f -a -mtime +${CACHE_TIMEOUT} -delete
 
 klask exportsw --format dot --modulo ${GRAPH_MODULO} --shift ${GRAPH_SHIFT} > ${TMP}/switch-map.txt.new
@@ -63 +66 @@
  </noscript>
  <script src="sorttable-klask.js"></script>
+ <script src="svg-pan-zoom-klask.js"></script>
  <script>
 function delayedRefresh() {
@@ -215 +219 @@
    <a href="https://addons.mozilla.org/en-US/firefox/addon/image-zoom/">Image Zoom<a> plugin (or equivalent) installed.
    </p>
+   
+   <embed type="image/svg+xml" src="switch-map.svg" id="my-embed-switch-map"/>
+   <script>
+      document.getElementById('my-embed-switch-map').addEventListener('load', function(){
+         // Will get called after embed element was loaded
+         svgPanZoom(document.getElementById('my-embed-switch-map')); 
+         })
+   </script>
    <img class="map" src="switch-map.png">
  </div>
@@ -243 +255 @@
 END
 
-cmp --silent ${TMP}/switch-map.txt.new ${TMP}/switch-map.txt || mv -f ${TMP}/switch-map.txt.new ${TMP}/switch-map.txt
+cmp --silent ${TMP}/switch-map.txt.new ${TMP}/switch-map.txt || {
+   mv -f ${TMP}/switch-map.txt.new ${TMP}/switch-map.${TIMEFILE}.txt;
+   ln -sf ${TMP}/switch-map.${TIMEFILE}.txt ${TMP}/switch-map.txt
+   }
 
 if [ "${REMOTE_SERVER}" = "localhost" ]
@@ -249 +264 @@
    rsync --times \
       /usr/share/klask/sorttable-klask.js \
+      /usr/share/klask/svg-pan-zoom-klask.js \
       /usr/share/klask/style-klask.css \
       ${TMP}/index.html \
@@ -262 +278 @@
    rsync --times \
       /usr/share/klask/sorttable-klask.js \
+      /usr/share/klask/svg-pan-zoom-klask.js \
       /usr/share/klask/style-klask.css \
       ${TMP}/index.html \