On Mon, 16 Jul 2012 07:21:29 +0200 (CEST) Felix <[email protected]> wrote:
> The attached patch adds the current process-ID to the filenames > generated by "create-temporary-filename"/"create-temporary-directory". > > This patch fixes #810. Thanks, Felix. I have pushed your patch and closed #810. Best wishes. Mario -- http://parenteses.org/mario _______________________________________________ Chicken-hackers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/chicken-hackers
