*/
public synchronized boolean push(String srcfile,
String destmachine, String destfile) {
int didx = machinesList.indexOf(destmachine);
if (didx == -1) {
throw new FabanHostUnknownException(
"Host " + destmachine + " not found!");
}
// Ensure the file is accessed from the right place.
File src = new File(srcfile);