comp.lang.ada
 help / color / mirror / Atom feed
From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Atomic file creation
Date: Sat, 09 Jan 2010 10:23:06 -0500
Date: 2010-01-09T10:23:06-05:00	[thread overview]
Message-ID: <uzl4nwbdx.fsf@stephe-leake.org> (raw)
In-Reply-To: c5d6198d-a101-4347-95ec-8366fdb6e88d@d20g2000yqh.googlegroups.com

vlc <just.another.spam.account@googlemail.com> writes:

> On Jan 5, 5:16 am, Stephen Leake <stephen_le...@stephe-leake.org>
> wrote:
>> Ada.Text_IO.Rename is not in the LRM. Ada.Directories.Rename is.
>>
>> Some OS's don't allow renaming files across devices; if you are on
>> Unix, and Temp_File is /tmp/.., while "file" is /usr/..., and /tmp is
>> mounted to disk1, while /usr is mounted to disk2, that might explain
>> the use error.
>
> Source and target are on the same device, but in different partitions.
> Maybe that's an issue (?).

yes, but it might depend on your OS, and on what filesystem you are
using. In Unix, the real issue is what "filesystem" the two paths
point to; they have to be the same. Different partitions are normally
different filesystems.

-- 
-- Stephe



  reply	other threads:[~2010-01-09 15:23 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-01-04 13:40 Atomic file creation vlc
2010-01-04 14:24 ` vlc
2010-01-04 15:52   ` Jean-Pierre Rosen
2010-01-04 16:45     ` vlc
2010-01-04 17:12       ` Jean-Pierre Rosen
2010-01-04 22:38         ` Ludovic Brenta
2010-01-04 23:00           ` Dmitry A. Kazakov
2010-01-05  9:15     ` Jacob Sparre Andersen
2010-01-05  4:16   ` Stephen Leake
2010-01-05 14:48     ` vlc
2010-01-09 15:23       ` Stephen Leake [this message]
2010-01-04 14:25 ` Georg Bauhaus
2010-01-04 14:45   ` vlc
2010-01-04 14:49 ` Jacob Sparre Andersen
2010-01-04 15:07   ` vlc
2010-01-04 17:14     ` Jacob Sparre Andersen
2010-01-05 14:43       ` vlc
2010-01-06  2:28     ` Brad Moore
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox