Menu

Src (SVN)-old Commit Log


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 ""
o use $HOME/.xsb, if HOME is defined
o use $USERHOME/.xsb, if USERHOME ...
o use XSBinstalldir/.xsb

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'.
Dunno how this kind of services are done on windoze, but probably useful there as well.

2018-11-19 07:35:35 Tree
[r9458] by "kifer"

fixed some incorrect comments
also incorrect refs to .xsbrc in the manual

2018-11-19 03:15:59 Tree
[r9457] by tswift

Created a new p2p_attvar to replace p2p_arg(_,0)

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
[r9455] by dwarren

Comment out unnecessary import to avoid warning.

2018-11-02 14:43:40 Tree
[r9454] by dwarren

Commented out unnecessary import to eliminate warning.

2018-11-02 14:34:26 Tree
[r9453] by "kifer"

better comments for GET_TMP_FILENAME

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.
Kept the windows version as before, as windows does not complain about this function.

2018-10-29 21:05:03 Tree
[r9451] by tswift

Forgot to run bibtex

2018-10-28 19:29:34 Tree
[r9450] by tswift

Updated PITA documentation.

2018-10-28 19:27:32 Tree
Older >