+++ /dev/null
-Your ticket:
-<iframe width="100" height="100" id='devel-reload-ifr'></iframe>
-
-<script type='text/javascript'>
-setInterval(function(){
- document.getElementById("devel-reload-ifr").src="/ticket?"+new Date().getTime();
-}, 5000);
-</script>