/******************************************************************************
* This file is Copyright 1993 by Philip G. Richards.  All Rights Reserved.
* See the file README that came with this distribution for permissions on
* code usage, copying, and distribution.  It comes with absolutely no warranty.
* email: <pgr@prg.ox.ac.uk>
******************************************************************************/

/* ---INFOBEGIN--- *  DO NOT DELETE THIS COMMENT BLOCK!!!
COMMAND debug none "set or query debugging info level"
 *  ---INFOEND---  */

#include "client.h"
#include "table.h"
#include <stdlib.h>

int
ldebug_main(int argc, char *const*argv, char **envp)
{
    if (argc > 1)
	dbug_flag = atoi(argv[1]);

    ffprintf(STDINFO, "debug is at level %d\n", dbug_flag);

    return 0;
}