0005397: Filename.temp_dir_name should be mutable - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005397

OCaml

~DO NOT USE (was: OCaml general)

public

2011-11-14 09:16

2013-08-31 12:48

Reporter

frisch

Assigned To

frisch

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

4.00.0+dev

Summary

0005397: Filename.temp_dir_name should be mutable

Description

Currently, Filename.temp_dir_name is obtained from an environment variable when the Filename module is initialized.

It would be convenient to allow changing its value. This would allow some client code to control where third-party libraries, which simply use Filename.temp_file/open_temp_file, put their temp files.

One could add "get_temp_dir_name: unit -> string" and "set_temp_dir_name: string -> unit"; and temp_dir_name would be the original value (marked as deprecated, and removed in a future version).

Tags

No tags attached.

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2011-11-14 09:16	frisch	New Issue
2012-03-26 15:57	lefessan	Assigned To	=> frisch
2012-03-26 15:57	lefessan	Status	new => acknowledged
2012-03-26 19:29	frisch	Status	acknowledged => resolved
2012-03-26 19:29	frisch	Fixed in Version	=> 4.00.0+dev
2012-03-26 19:29	frisch	Resolution	open => fixed
2013-08-31 12:48	xleroy	Status	resolved => closed
2017-02-23 16:36	doligez	Category	OCaml general => -OCaml general
2017-03-03 17:55	doligez	Category	-OCaml general => -(deprecated) general
2017-03-03 18:01	doligez	Category	-(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04	doligez	Category	~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Copyright © 2000 - 2011 MantisBT Group