| Commit | Date | |
|---|---|---|
|
[r9459]
by
"kifer"
Generalized the way the .xsb/ dir is determined. Now: o use the value of environment $XSB_USER_AUXDIR if defined and not "" This generalization is needed when XSB is used by a servlet. Eg, tomcat runs as a nologin user and its $HOME is owned by root. So, no way to run XSB this way. With $XSB_USER_AUXDIR, one can point to a dir owned by user 'tomcat'. |
2018-11-19 07:35:35 | Tree |
| 2018-11-19 03:15:59 | Tree | |
| 2018-11-03 18:11:57 | Tree | |
|
[r9456]
by
dwarren
Add simple predicate to gensym to help logging. Slightly improved performance of unnumbervars, which is heavily used in prolog_db. |
2018-11-02 15:40:53 | Tree |
| 2018-11-02 14:43:40 | Tree | |
| 2018-11-02 14:34:26 | Tree | |
| 2018-10-30 06:04:48 | Tree | |
|
[r9452]
by
"kifer"
revived the old Teri's attempt to reimplement tempnam on linux/mac, but made it compatible with the old tempnam. |
2018-10-29 21:05:03 | Tree |
| 2018-10-28 19:29:34 | Tree | |
| 2018-10-28 19:27:32 | Tree |