From 1a67ca897c6c734c125138567c5250735526e9e2 Mon Sep 17 00:00:00 2001
From: Oliver Evans <oliverevans96@gmail.com>
Date: Wed, 21 Mar 2018 12:25:06 -0400
Subject: [PATCH] Remove cache-busting from gif animation. Should be done by
 the frontend.

---
 src/animation.jl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/animation.jl b/src/animation.jl
index 6c1f880f..6746262b 100644
--- a/src/animation.jl
+++ b/src/animation.jl
@@ -93,13 +93,13 @@ end
 
 
 
-# write out html to view the gif... note the rand call which is a hack so the image doesn't get cached
+# write out html to view the gif
 function Base.show(io::IO, ::MIME"text/html", agif::AnimatedGif)
     ext = file_extension(agif.filename)
     write(io, if ext == "gif"
-        "<img src=\"$(relpath(agif.filename))?$(rand())>\" />"
+        "<img src=\"$(relpath(agif.filename))\" />"
     elseif ext in ("mov", "mp4")
-        "<video controls><source src=\"$(relpath(agif.filename))?$(rand())>\" type=\"video/$ext\"></video>"
+        "<video controls><source src=\"$(relpath(agif.filename)) type=\"video/$ext\"></video>"
     else
         error("Cannot show animation with extension $ext: $agif")
     end)