1 | /*
|
---|
2 | Beginnnigs of a script manager for SWAT.
|
---|
3 |
|
---|
4 | Copyright (C) Deryck Hodge 2005
|
---|
5 | released under the GNU GPL Version 3 or later
|
---|
6 | */
|
---|
7 |
|
---|
8 | var head = document.getElementsByTagName('head')[0];
|
---|
9 | var scripts = document.getElementsByTagName('script');
|
---|
10 |
|
---|
11 | function __has_js_script(file)
|
---|
12 | {
|
---|
13 | var i;
|
---|
14 | for (i=0; i<scripts.length; i++) {
|
---|
15 | if (scripts[i].src.indexOf(file) > -1) {
|
---|
16 | return true;
|
---|
17 | } else {
|
---|
18 | return false;
|
---|
19 | }
|
---|
20 | }
|
---|
21 | }
|
---|
22 |
|
---|
23 | function __get_js_script(file)
|
---|
24 | {
|
---|
25 | var i;
|
---|
26 | for (i=0; i<scripts.length; i++) {
|
---|
27 | if (scripts[i].src.indexOf(file) > -1) {
|
---|
28 | return scripts[i];
|
---|
29 | }
|
---|
30 | }
|
---|
31 | }
|
---|
32 |
|
---|
33 | function __add_js_script(path)
|
---|
34 | {
|
---|
35 | // Create a unique ID for this script
|
---|
36 | var srcID = new Date().getTime();
|
---|
37 |
|
---|
38 | var script = document.createElement('script');
|
---|
39 | script.type = 'text/javascript';
|
---|
40 | script.id = srcID;
|
---|
41 |
|
---|
42 | head.appendChild(script);
|
---|
43 |
|
---|
44 | // IE works only with the path set after appending to the document
|
---|
45 | document.getElementById(srcID).src = path;
|
---|
46 | }
|
---|
47 |
|
---|
48 | function __remove_js_script(path)
|
---|
49 | {
|
---|
50 | var script = __get_js_script(path);
|
---|
51 | script.parentNode.removeChild(script);
|
---|
52 | }
|
---|
53 |
|
---|
54 | document.js = new Object();
|
---|
55 | document.js.scripts = scripts;
|
---|
56 | document.js.hasScript = __has_js_script;
|
---|
57 | document.js.getScript = __get_js_script;
|
---|
58 | document.js.add = __add_js_script;
|
---|
59 | document.js.remove = __remove_js_script;
|
---|
60 |
|
---|