// -----------------------------------------------------------
public static void getPutFileRequest(Socket s, String[] args, int numArgs, byte type)
throws GenericException {
byte[] myPayload = new byte[4];
myPayload[0] = (byte) ((numArgs >> 24) & 0xff);
myPayload[1] = (byte) ((numArgs >> 16) & 0xff);
myPayload[2] = (byte) ((numArgs >> 8) & 0xff);
myPayload[3] = (byte) (numArgs & 0xff);
Message m = new Message(MessageType.findType(type));
m.addPayload(myPayload);
try {
m.send(s);
m = Message.receive(s);
if (m.getMessageType() != MessageType.SEND_NEXT_PARAM) {
System.out.println("Error, unexpected type returned");
throw new GenericException("Received wrong type");
}
} catch (IOException e) {
throw new GenericException(e.getMessage());
}
try {
sendArgs(s, args, numArgs, MessageType.NEXT_PARAM_RQT);
} catch (GenericException e) {
throw new GenericException("Error " + e);
}
}
