Searched refs:WriteServerHeader (Results 1 – 3 of 3) sorted by relevance
82 extern void WriteServerHeader(FILE *file, statement_t *stats);
392 WriteServerHeader(sheader, defs_stats); in main()
500 WriteServerHeader(FILE *file, statement_t *stats) in WriteServerHeader() function