Ping shim server

include ping_shim


after ping_packet_event(src:ip.endpoint,dst:ip.endpoint,pkt:ping_packet) {

current_time := time_api.c_timer.now_millis; call show_current_time(current_time); enough_wait := current_time >= 3000;

    if dst_is_generated(src) {
        var spkt := ping_packet_serdes.to_bytes(pkt);
        var pkts := pingd.arr.empty;
        pkts := pkts.append(spkt);
        call net.send(endpoint_to_pid(src),endpoint_to_socket(src),dst,pkts);
    }
}