*** empty log message ***

master
mark 21 years ago
parent aaef3303e0
commit 6d26939d9d

@ -1,15 +1,26 @@
-- environment -- Environment
os.environ os.environ
os.setenv(name, value, overwrite) os.setenv(name, value, overwrite)
os.unsetenv(name) os.unsetenv(name)
-- miscellaneous -- Miscellaneous
os.sleep(seconds) os.sleep(seconds)
-- file system -- File system
os.dir os.chdir(pathname)
file = os.file cwd = os.currentdir()
os.mkdir(pathname)
-- process control for stat in os.dir(pathname) do ; end
stat = os.stat(pathname)
-- stat.name is the filename
-- stat.type is one of "file" or "directory" or another implementation-defined string
-- stat.size is the file size in bytes
file = io.open("filename", "w")
file:lock(mode, start, len) -- mode is "r" or "w"; start and len are optional
file:unlock(start, len) -- start and len are optional
-- Process control
pid = os.spawn(filename, {args={}, env={}, stdin=io_file, stdout=io_file, stderr=io_file}) pid = os.spawn(filename, {args={}, env={}, stdin=io_file, stdout=io_file, stderr=io_file})
exitcode = os.wait(pid) exitcode = os.wait(pid)

Loading…
Cancel
Save