Menu

Commit [r8654]  Maximize  Restore  History

don't bomb out if a field does not convert to integer or float

redirected errors to stderr
improved some error messages

"kifer" 2016-02-23

changed /trunk/XSB/lib/proc_files.P
/trunk/XSB/lib/proc_files.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB