# HG changeset patch # User ymh # Date 1354810057 -3600 # Node ID 0e1105a35754d3981826d7683ab17e5fc0411cc0 # Parent ce27200b338e4626114b90a6913ac1dbf7fba6db bug kcorrecthion diff -r ce27200b338e -r 0e1105a35754 integration/js/mashupcore.js --- a/integration/js/mashupcore.js Thu Dec 06 16:54:20 2012 +0100 +++ b/integration/js/mashupcore.js Thu Dec 06 17:07:37 2012 +0100 @@ -314,7 +314,7 @@ mp4_file = videourl.replace(/\.webm$/i,'.mp4'), webm_file = videourl.replace(/\.mp4$/i,'.webm'), */ - mp4_src = $(''), + mp4_src = $(''); /* webm_src = $(''), */ diff -r ce27200b338e -r 0e1105a35754 src/hashcut/__init__.py --- a/src/hashcut/__init__.py Thu Dec 06 16:54:20 2012 +0100 +++ b/src/hashcut/__init__.py Thu Dec 06 17:07:37 2012 +0100 @@ -1,4 +1,4 @@ -VERSION = (0, 7, 0, "final", 0) +VERSION = (0, 8, 0, "final", 0) def get_version(): diff -r ce27200b338e -r 0e1105a35754 src/hashcut/static/hashcut/js/hashcut.js --- a/src/hashcut/static/hashcut/js/hashcut.js Thu Dec 06 16:54:20 2012 +0100 +++ b/src/hashcut/static/hashcut/js/hashcut.js Thu Dec 06 17:07:37 2012 +0100 @@ -1831,7 +1831,7 @@ mp4_file = videourl.replace(/\.webm$/i,'.mp4'), webm_file = videourl.replace(/\.mp4$/i,'.webm'), */ - mp4_src = $(''), + mp4_src = $(''); /* webm_src = $(''), */