extern const char *xbt_log_priority_names[7];
-static void append_file(xbt_log_appender_t this_appender,
- char *str) {
+static void append_file(xbt_log_appender_t this_appender, char *str)
+{
+ fprintf((FILE *) (this_appender->data), "%s", str);
+}
- fprintf((FILE*)(this_appender->data), "%s", str);
+static void free_(xbt_log_appender_t this_)
+{
+ if (this_->data != stderr)
+ fclose(this_->data);
}
-xbt_log_appender_t xbt_log_appender_file_new(char *arg){
- xbt_log_appender_t res = xbt_new0(s_xbt_log_appender_t,1);
+
+
+xbt_log_appender_t xbt_log_appender_file_new(char *arg)
+{
+ xbt_log_appender_t res = xbt_new0(s_xbt_log_appender_t, 1);
res->do_append = append_file;
- res->free_ = NULL;
- res->data = (void*)stderr;
+ res->free_ = free_;
+ if (arg)
+ res->data = (void *) fopen(arg, "w");
+ else
+ res->data = (void *) stderr;
return res;
}