Displaying 1 result from an estimated 1 matches for "is_opera".
Did you mean:
is_open
2009 Jul 16
2
[PATCH server] updated anyterm/ovirt integration
...ite 330, Boston, MA 02111-1307, USA.
+
+
+var undefined;
+
+var url_prefix = "";
+
+var frame;
+var term;
+var open=false;
+var session;
+
+var method="POST";
+//var method="GET";
+
+// Random sequence numbers are needed to prevent Opera from caching
+// replies
+
+var is_opera = navigator.userAgent.toLowerCase().indexOf("opera") != -1;
+if (is_opera) {
+ method="GET";
+}
+
+var seqnum_val=Math.round(Math.random()*100000);
+function cachebust() {
+ if (is_opera) {
+ seqnum_val++;
+ return "&x="+seqnum_val;
+ } else {
+ return...