[gitg/vala] Make sure to generate unique uri's when updating the diff

[Jesse van den Kieboom <jessevdk src gnome org>]

commit ec736349c1a6b576bb7ab8456e12f92973ebbe68
Author: Jesse van den Kieboom <jesse vandenkieboom epfl ch>
Date:   Tue Jul 17 09:53:07 2012 +0200

    Make sure to generate unique uri's when updating the diff
    
    We need to do this to make sure that we bypass the cache. Normally
    we would send a response header to prevent webkit from caching
    the diff result, but we don't have control over this with the current
    implementation.

 libgitg-gtk/resources/base.js |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/libgitg-gtk/resources/base.js b/libgitg-gtk/resources/base.js
index 37bbe22..f68f03e 100644
--- a/libgitg-gtk/resources/base.js
+++ b/libgitg-gtk/resources/base.js
@@ -197,7 +197,9 @@ function update_diff()
 		write_diff(content, j.diff);
 	}
 
-	r.open("GET", "gitg-internal:/diff/?viewid=" + params.viewid);
+	var t = (new Date()).getTime()
+
+	r.open("GET", "gitg-internal:/diff/?t=" + t + "&viewid=" + params.viewid);
 	r.send();
 }