[m-rev.] diff: Update comments after Sebastian's change
paul at bone.id.au
Mon May 2 12:00:53 AEST 2016
Update comments after Sebastian's change
Also add "using System;"
library/io.m | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/library/io.m b/library/io.m
index 82b2a7f..6497f44 100644
@@ -1368,9 +1368,6 @@
% make_temp_directory(Result, !IO) creates an empty directory whose name
% is different from the name of any existing directory.
- % On the C# backend this is insecure as the file permissions are not set
- % and this call does not test for an existing directory.
% On the Java backend this is insecure as the file permissions are not set.
% This is unimplemented on the Erlang backend.
@@ -1386,9 +1383,6 @@
% directory when it is no longer needed.
% The C# backend has the following limitations:
- % - It does not attempt to create the file with restrictive permissions
- % (600 on Unix-like systems) and therefore should not be used when
- % security is required.
% - Prefix is ignored.
% - Suffix is ignored.
@@ -1896,6 +1890,7 @@
:- pragma foreign_decl("C#", "
More information about the reviews