Files.move() scheitert, wirft aber keine Ausnahme

From	Christoph Schneegans <Christoph@Schneegans.de>
Newsgroups	de.comp.lang.java
Subject	Files.move() scheitert, wirft aber keine Ausnahme
Date	2016-01-29 18:22 +0100
Message-ID	<dh1leaFp3b2U1@mid.individual.net> (permalink)

Show all headers | View raw

Hallo allerseits!

In meiner Applikation gibt es folgenden Aufruf:

   java.nio.Files.move(source, target,
     java.nio.file.StandardCopyOption.REPLACE_EXISTING);

Nun ist offenbar – bislang einmalig – folgendes passiert:

• Die vorhandene, nicht leere Datei target wurde geleert bzw. durch eine 
0 Bytes großen Datei ersetzt.
• source ist noch unverändert vorhanden (und ist nicht leer, sondern ca. 
1,5 MB groß).
• Es gab _keine_ Ausnahme.

Die Applikation wird unter CentOS 5.11 ausgeführt. source und target 
sind Pfade im lokalen Dateisystem. Dieselbe Operation hat zuvor in fast 
einer Million Fällen fehlerfrei funktioniert.

Was könnte hier passiert sein?

-- 
<http://schneegans.de/lv/> · Validator für BCP 47

Back to de.comp.lang.java | Previous | Next — Next in thread | Find similar

Thread

Files.move() scheitert, wirft aber keine Ausnahme Christoph Schneegans <Christoph@Schneegans.de> - 2016-01-29 18:22 +0100
  Re: Files.move() scheitert, wirft aber keine Ausnahme Bastian Blank <usenet@waldi.eu.org> - 2016-01-30 10:44 +0000
  Re: Files.move() scheitert, wirft aber keine Ausnahme Bernd Laengerich <Bernd.Laengerich@web.de> - 2016-02-01 09:30 +0100
  Re: Files.move() scheitert, wirft aber keine Ausnahme Andreas Karrer <ak-6a@gmx.ch> - 2016-02-01 14:35 +0000
    Re: Files.move() scheitert, wirft aber keine Ausnahme Christoph Schneegans <Christoph@Schneegans.de> - 2016-02-02 17:55 +0100

csiph-web