diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-12 16:41:00 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-12 16:41:00 -0700 |
| commit | c7b493dcc46ac800ace472a580d5430a1b0c2e41 (patch) | |
| tree | 1ae2ea9ad7b84b07387d41c2b6ca6c4eccc4366a /src/js/chrome/js/platform-ajax.js | |
| parent | 0decef2093c676d91b0b590a9b94f201c4995716 (diff) | |
Group url patterns with rule set definitions
Diffstat (limited to 'src/js/chrome/js/platform-ajax.js')
| -rw-r--r-- | src/js/chrome/js/platform-ajax.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/js/chrome/js/platform-ajax.js b/src/js/chrome/js/platform-ajax.js index 68ced39..32aac99 100644 --- a/src/js/chrome/js/platform-ajax.js +++ b/src/js/chrome/js/platform-ajax.js @@ -20,6 +20,8 @@ fiveui.ajax.get = function(url, options) { jQuery.ajax(url, { + cache: false, + dataType: 'text', success:function(text) { |