/*
 *  Stupid hack to get SERVER_NAME from <discuss/config.h> and
 *  put it in a shell script.
 */

#if HAVE_CONFIG_H
#include "config.h"
#endif

#include <discuss/config.h>

int main ()
{
    puts (SERVER_NAME);
}