From 56ce683081dfc85bc18698268086abb466e9c8bf Mon Sep 17 00:00:00 2001
From: Jamie Cameron <jcameron@webmin.com>
Date: Wed, 18 Mar 2009 05:17:42 +0000
Subject: [PATCH] Use do in case this has already been require'd elsewhere

---
 WebminCore.pm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/WebminCore.pm b/WebminCore.pm
index fcf3f68d4..cc79d4616 100644
--- a/WebminCore.pm
+++ b/WebminCore.pm
@@ -30,8 +30,8 @@ push(@EXPORT, qw($config_directory $var_directory $remote_error_handler %month_t
 push(@EXPORT, qw(&theme_post_save_domain &theme_post_save_domains &theme_post_save_server &theme_select_server &theme_select_domain &theme_post_save_folder &theme_post_change_modules &theme_address_button &theme_virtualmin_ui_rating_selector &theme_virtualmin_ui_show_cron_time &theme_virtualmin_ui_parse_cron_time &theme_virtualmin_ui_html_editor_bodytags &theme_virtualmin_ui_show_html_editor));
 
 $called_from_webmin_core = 1;
-require "web-lib.pl";
-require "ui-lib.pl";
+do "web-lib.pl";
+do "ui-lib.pl";
 
 1;