Comment 3 for bug 1072694

Marco, what would the syntax be for adding a file as the log output. Is it possible to add an already existing file pointer or just the file name as a string? This would be the ultimate solution as we then can merge the two log streams from dolfin and logging dependent python modules such as UFL.

My boost python skills are really limited so following the inner workings of this small file is hard for me...