/**
 * @file websh.c
 * @author Tobias Eidelpes <e01527193@student.tuwien.ac.at>
 * @date 2018-04-16
 *
 * @brief Formats program output for the web.
 */

#include <stdio.h>
#include <stdlib.h>

#include <errno.h>
#include <signal.h>

static const char *pname;

int main(int argc, char *argv[])
{
	pname = argv[0];

	printf("[%s]\n", pname);
	
	return 0;
}