Euphoria Ticket #320: with profile AND with profile_time

Right now when your app starts with:

with profile 
with profile_time 

the entire app runs (maybe lengthy because you are profiling it) and then after everything is done executing you get an error stating the two profile methods cannot be mixed.

It would be helpful to be able to mix the two. If not possible, at least throw the error prior to execution not to waste the users time.

Details

Type: Feature Request Severity: Minor Category: Interpreter
Assigned To: unknown Status: New Reported Release:
Fixed in SVN #: View VCS: none Milestone: 4.1.0

Search



Quick Links

User menu

Not signed in.

Misc Menu