SYNOPSIS
void write_ini_conf( mapping map, string file )
FILE
/basic/configfile.c
DESCRIPTION
This function writes the content of a supplied mapping <map> into the file
<file>. If the file already exists, it will be
removed before any data is written into it. Thus, the file
would also be created if it never existed.