2 files changed, 15 insertions, 2 deletions
diff --git a/prefs.js b/prefs.js
index 3296ee665..b6270a6df 100644
--- a/prefs.js
+++ b/prefs.js
@@ -275,7 +275,20 @@ function localPiggieFunction(enable) {
 }
 
 function init() {
-	
+
+	// IE kludge
+
+	if (xmlhttp && !xmlhttp_rpc) {
+		xmlhttp_rpc = xmlhttp;
+	}
+
+	if (!xmlhttp || !xmlhttp_rpc) {
+		document.getElementById("prefContent").innerHTML = 
+			"<b>Fatal error:</b> This program needs XmlHttpRequest " + 
+			"to function properly. Your browser doesn't seem to support it.";
+		return;
+	}
+
 	updateFeedList();
 	document.onkeydown = hotkey_handler;
 	notify("");
diff --git a/prefs.php b/prefs.php
index 56624b6f0..d9c21953f 100644
--- a/prefs.php
+++ b/prefs.php
@@ -27,7 +27,7 @@
 	</td>
 </tr>
 </tr>
-	<td class="prefContent" valign="top" colspan="2">
+	<td id="prefContent" class="prefContent" valign="top" colspan="2">
 		<h2>Feed Configuration</h2>
 
 <!--