+static void send_callback(Ptr<Socket> localSocket, uint32_t txSpace){
+ MySocket* mysocket = get_my_socket(localSocket);
+
+ if (mysocket->remaining == 0){
+ // all data was already buffered (and socket was already closed), just return
+ return;
+ }
+
+ uint8_t *data = (uint8_t*)malloc(sizeof(uint8_t)*txSpace);
+
+ while (mysocket->bufferedBytes < mysocket->totalBytes
+ && localSocket->GetTxAvailable () > 0)
+ {
+ uint32_t toWrite = min ((mysocket->remaining), txSpace);
+ toWrite = min (toWrite, localSocket->GetTxAvailable ());
+ int amountSent = localSocket->Send (data, toWrite, 0);
+
+ if(amountSent < 0)
+ return;
+ (mysocket->bufferedBytes) += amountSent;
+ (mysocket->remaining) -= amountSent;
+ XBT_DEBUG("send_cb of F[%p, %p, %d] (%d/%d) %d buffered", mysocket, mysocket->action, mysocket->totalBytes, mysocket->remaining, mysocket->totalBytes, amountSent);