Thanks for the bug report. I think port-filename can include the load-path, but I'll need to look at the code more. Then realpath could give the full filename, if it is needed. I can't remember if you can get the full filename from the FILE* pointer (this would be the best option because the port struct contains that pointer).
_______________________________________________ Cmdist mailing list [email protected] https://cm-mail.stanford.edu/mailman/listinfo/cmdist
