[GRASS-dev] Update to profiler

I just fixed an unreported bug in the profiler. It was the same problem that was causing the main GUI to crash when GRASS prints (rather superfluous AFAIC) warnings about the presence of a map with the same name in another mapset. I was able to fix it by sending stderr to dev null as we’ve done with the main GUI.

Michael


Michael Barton, Professor of Anthropology
School of Human Evolution & Social Change
Center for Social Dynamics & Complexity
Arizona State University

phone: 480-965-6213
fax: 480-965-7671
www: http://www.public.asu.edu/~cmbarton