You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Jun 5, 2022. It is now read-only.
#This file is generated automatically. Changes made to the values of this file
#will persist, but changes to comments will not.
# These settings control the integrated profiler
#If true, will write results out to screen.
write-to-screen=false
#Sets the granularity of the profiler. 1 logs some things, while 5 logs everything possible.
profiler-granularity=1
#If a profile point took less than this amount of time (in ms) to run, it won't be logged. This is good for reducing data blindness caused by too much data being displayed. Normally you only care about things that took longer than a certain amount, not things that took less than a certain amount. Setting this to 0 will trigger everything.
profile-log-threshold=0.005
#The location of the profiler output log. The following macros are supported and will expand to the specified values: %Y - Year, %M - Month, %D - Day, %h - Hour, %m - Minute, %s - Second