new netgen leaves crumbs all over the place

contrib/Netgen/libsrc/general/profiler.cpp

@@ -48,9 +48,10 @@ namespace netgen
     sprintf (filename, "netgen.prof");
 #endif
 
-    FILE *prof = fopen(filename,"w");
-    Print (prof);
-    fclose(prof);
+    // MODIFIED FOR GMSH
+    //FILE *prof = fopen(filename,"w");
+    //Print (prof);
+    //fclose(prof);
   }
 
 

contrib/Netgen/nglib_addon.cpp

@@ -15,18 +15,15 @@ using namespace netgen;
 namespace nglib
 {
 
-class mystreambuf: public streambuf
-{
+class mystreambuf : public streambuf {
   int index;
   char txt[1024];
  public:
-  mystreambuf() { 
-    index = 0; 
-  }
-  int sync(){ 
+  mystreambuf() : index(0) {} 
+  int sync()
+  { 
     txt[index] = '\0';
-    if(!index || 
-       (index == 1 && (txt[0] == '.' || txt[0] == '+' || txt[0] == ' '))){
+    if(!index || (index == 1 && (txt[0] == '.' || txt[0] == '+' || txt[0] == ' '))){
       // ignore these messages
     }
     else{
@@ -38,7 +35,8 @@ class mystreambuf: public streambuf
     index = 0; 
     return 0; 
   }
-  int overflow(int ch){ 
+  int overflow(int ch)
+  {
     if(index < 1023){
       txt[index] = ch;
       if(txt[index] == '\n' || txt[index] == '\r') txt[index] = ' ';