/** * Description : * Some functions for loading related scripts * * History: * 1. 2009/12/16 created by Moky <webmaster@moky.net.cn> */ function json_request(src, asyn) { g_loaded_scripts[src] = src; src += '?' + Math.random(); load_script(src, asyn); } function require(src) { g_loaded_scripts[src] = src; load_script(src, false); } function require_once(src) { if (g_loaded_scripts[src] == src) return ; require(src); } function include(src) { g_loaded_scripts[src] = src; load_script(src, true); } function include_once(src) { if (g_loaded_scripts[src] == src) return ; include(src); } function load_script(src, defer) { var script = document.createElement('SCRIPT'); script.type = 'text/javascript'; script.src = src; if (defer) script.defer = true; var head = document.getElementsByTagName('HEAD')[0]; head.appendChild(script); } var g_loaded_scripts = [];