Changeset: 50bb5aca073b for MonetDB
URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=50bb5aca073b
Modified Files:
MonetDB5/src/mal/mal_profiler.mx
Branch: default
Log Message:
merge with Jun2010
diffs (12 lines):
diff -r 5c7a10ceb231 -r 50bb5aca073b MonetDB5/src/mal/mal_profiler.mx
--- a/MonetDB5/src/mal/mal_profiler.mx Thu Jul 01 15:02:41 2010 +0200
+++ b/MonetDB5/src/mal/mal_profiler.mx Thu Jul 01 15:51:08 2010 +0200
@@ -105,7 +105,7 @@
[ "15:17:56", 245, "_36 := io.print(<tmp_15>{3});", ]
@end verbatim
-...@node Event Caching, Stethoscope, Event Filtering, The MAL Profiler
+...@node Event Caching, The MAL Modules, Event Filtering, The MAL Profiler
@+ Event Caching
Aside from shipping events to a separate process, the profiler
can keep the events in a local @sc{bat} group.
_______________________________________________
Checkin-list mailing list
Checkin-list@monetdb.org
http://mail.monetdb.org/mailman/listinfo/checkin-list
