P
P.Hill
So is there a standard API for MOVING a file?
I have a Java program that finishes by pushing a file
to a server and I'd prefer not to exec() if there is
some standard or already written way even in this case
if it changes the file date(s).
File.renameTo() says:
"Whether or not this method can move a file from one filesystem to another is
platform-dependent."
there is no File.move.
how about something in?
http://www.tolstoy.com/samizdat/jconfig.html
Anything else?
-Paul
I have a Java program that finishes by pushing a file
to a server and I'd prefer not to exec() if there is
some standard or already written way even in this case
if it changes the file date(s).
File.renameTo() says:
"Whether or not this method can move a file from one filesystem to another is
platform-dependent."
there is no File.move.
how about something in?
http://www.tolstoy.com/samizdat/jconfig.html
Anything else?
-Paul