From f7f55f0883f05d7d2f7f9ab94c2c88947d5e1b31 Mon Sep 17 00:00:00 2001
From: rob1n <rob1n@1a063a9b-81f0-0310-95a4-ce76da25c4cd>
Date: Sat, 5 May 2007 00:19:25 +0000
Subject: [PATCH] Don't set URL options if WP_HOME and or WP_SITEURL are
 defined. Props filosofo. fixes #4199

git-svn-id: http://svn.automattic.com/wordpress/trunk@5395 1a063a9b-81f0-0310-95a4-ce76da25c4cd
---
 wp-admin/options-general.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wp-admin/options-general.php b/wp-admin/options-general.php
index 5a433bc5ee..a32f8f16e0 100644
--- a/wp-admin/options-general.php
+++ b/wp-admin/options-general.php
@@ -97,7 +97,7 @@ endfor;
 
 <p class="submit"><input type="submit" name="Submit" value="<?php _e('Update Options &raquo;') ?>" />
 <input type="hidden" name="action" value="update" /> 
-<input type="hidden" name="page_options" value="blogname,blogdescription,siteurl,admin_email,users_can_register,gmt_offset,date_format,time_format,home,start_of_week,comment_registration,default_role" /> 
+<input type="hidden" name="page_options" value="<?php if ( ! defined( 'WP_SITEURL' ) ) echo 'siteurl,'; if ( ! defined( 'WP_HOME' ) ) echo 'home,'; ?>blogname,blogdescription,admin_email,users_can_register,gmt_offset,date_format,time_format,start_of_week,comment_registration,default_role" /> 
 </p>
 </form>