Last change
on this file since 1947 was
1755,
checked in by rgrieder, 16 years ago
|
merged gui back to trunk.
update the media repository!
|
File size:
880 bytes
|
Rev | Line | |
---|
[1650] | 1 | if string.find(_VERSION, "5%.0") then |
---|
| 2 | return |
---|
| 3 | end |
---|
| 4 | |
---|
| 5 | -- "loadfile" |
---|
| 6 | local function pp_dofile(path) |
---|
| 7 | |
---|
| 8 | local loaded = false |
---|
| 9 | local getfile = function() |
---|
| 10 | |
---|
| 11 | if loaded then |
---|
| 12 | return |
---|
| 13 | else |
---|
| 14 | local file,err = io.open(path) |
---|
| 15 | if not file then |
---|
| 16 | error("error loading file "..path..": "..err) |
---|
| 17 | end |
---|
| 18 | local ret = file:read("*a") |
---|
| 19 | file:close() |
---|
| 20 | |
---|
| 21 | ret = string.gsub(ret, "%.%.%.%s*%)", "...) local arg = {n=select('#', ...), ...};") |
---|
| 22 | |
---|
| 23 | loaded = true |
---|
| 24 | return ret |
---|
| 25 | end |
---|
| 26 | end |
---|
| 27 | |
---|
| 28 | local f = load(getfile, path) |
---|
| 29 | return f() |
---|
| 30 | end |
---|
| 31 | |
---|
| 32 | old_dofile = dofile |
---|
| 33 | dofile = pp_dofile |
---|
| 34 | |
---|
| 35 | |
---|
| 36 | -- string.gsub |
---|
| 37 | --[[ |
---|
| 38 | local ogsub = string.gsub |
---|
| 39 | local function compgsub(a,b,c,d) |
---|
| 40 | if type(c) == "function" then |
---|
| 41 | local oc = c |
---|
| 42 | c = function (...) return oc(...) or '' end |
---|
| 43 | end |
---|
| 44 | return ogsub(a,b,c,d) |
---|
| 45 | end |
---|
| 46 | string.repl = ogsub |
---|
| 47 | --]] |
---|
| 48 | |
---|
| 49 | --string.gsub = compgsub |
---|
| 50 | |
---|
| 51 | |
---|
| 52 | |
---|
| 53 | |
---|
Note: See
TracBrowser
for help on using the repository browser.