FileTransfer transfer = new FileTransfer(srcFile, destFile);
logger.finer("Transferring log from " + srcFile + " to " + destFile);
// Use FileAgent on master machine to copy log
String s = Config.FILE_AGENT;
FileAgent fa = (FileAgent)CmdAgentImpl.getRegistry().getService(s);
if (fa.push(transfer) != transfer.getSize())
logger.log(Level.SEVERE, "Invalid transfer size");
} catch (IOException e) {
logger.log(Level.SEVERE, "Error transferring " + srcFile, e);
}