From fb31b945507e4d0b5e2ac4967dc3e93789880464 Mon Sep 17 00:00:00 2001 From: rswindell <> Date: Sun, 10 Jun 2018 08:37:00 +0000 Subject: [PATCH] New load/library module to make read/writing to user "properties" (stored in data/user/*.ini) easy. --- exec/load/userprops.js | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 exec/load/userprops.js diff --git a/exec/load/userprops.js b/exec/load/userprops.js new file mode 100644 index 0000000000..19f4bcd890 --- /dev/null +++ b/exec/load/userprops.js @@ -0,0 +1,37 @@ +// $Id$ + +function filename(usernum) +{ + return system.data_dir + format("user/%04u.ini", usernum); +} + +function get(section, key, usernum) +{ + if(!usernum) + usernum = user.number; + var file = new File(filename(usernum)); + if(!file.open('r')) + return false; + var result; + if(!section) + result = file.iniGetAllObjects(); + else if(!key) + result = file.iniGetObject(section); + else + result = file.iniGetValue(section, key); + file.close(); + return result; +} + +function set(section, key, value, usernum) +{ + if(!usernum) + usernum = user.number; + var file = new File(filename(usernum)); + if(!file.open(file.exists ? 'r+':'w+')) + return false; + file.iniSetValue(section, key, value); + file.close(); +} + +this; -- GitLab