--- wp-includes/functions.original.php	2010-12-08 17:03:30.000000000 +0200
+++ wp-includes/functions.php	2010-12-08 17:33:58.000000000 +0200
@@ -3411,7 +3411,9 @@
 			return true;
 	} elseif ( isset($_SERVER['SERVER_PORT']) && ( '443' == $_SERVER['SERVER_PORT'] ) ) {
 		return true;
-	}
+	} elseif ( isset($_SERVER['HTTP_X_FORWARDED_PROTO']) && ( 'https' == $_SERVER['HTTP_X_FORWARDED_PROTO'] ) ) {
+        	return true;
+  	}
 	return false;
 }