// by the GNU General Public License. This exception does not
// however invalidate any other reasons why the executable file might be
// covered by the GNU Public License.
-// As a special exception, if you include this header file into source
-// files to be compiled, this header file does not by itself cause
-// the resulting executable to be covered by the GNU General Public
-// License. This exception does not however invalidate any other
-// reasons why the executable file might be covered by the GNU General
-// Public License.
// -----------------------------------------------------------------------
//==============================================
// ******** ******* ******** ** **
#define FRSH_TRACE_SERVICE_TH false
#define FRSH_TRACE_WATCHDOG false
#define FRSH_TRACE_SPORADIC_SERVER false
+#define FRSH_TRACE_REPLENISHMENTS false
#define FRSH_TRACE_ROUND_ROBIN false
#define FRSH_TRACE_BOUNDED_JOB false
#define FRSH_TRACE_DISTRIBUTED false
+#define QUICK_AND_DIRTY_FIX_JLDEMO true
+
+
/**
* frsh_trace_point_insert()
*