#include <stdio.h>
#include <unistd.h>
#include <kernel/OS.h>

#include "../driver/net_stack_driver.h"
#include "ufunc.h"

int main(int argc, char **argv)
{
        int fd;
        int rv;
        
        test_banner("Stopping Server");
                        
        fd = open("/dev/" NET_STACK_DRIVER_PATH, O_RDWR);
        if (fd < 0)
                err(fd, "can't open the stack driver");

        rv = ioctl(fd, NET_STACK_STOP, NULL, 0);
        printf("ioctl to stop stack gave %d\n", rv);
        
        rv = close(fd);
        printf("close gave %d\n", rv);
        
        printf("Operation complete.\n");

        return (0);
}