*** profile.py.orig	Fri Nov 29 16:06:44 2002
--- profile.py	Fri Nov 29 16:07:09 2002
***************
*** 99,104 ****
--- 99,114 ----
          t = timer()
          return t[0] + t[1]
  
+ _has_res = 0
+ try:
+ 	import resource
+ 	resgetrusage = lambda: resource.getrusage(resource.RUSAGE_SELF)
+ 	def _get_time_resource(timer=resgetrusage):
+ 		t = timer()
+ 		return t[0] + t[1]
+ 	_has_res = 1
+ except ImportError:
+ 	pass
  
  class Profile:
      """Profiler class.
***************
*** 150,157 ****
              bias = self.bias
          self.bias = bias     # Materialize in local dict for lookup speed.
  
!         if timer is None:
!             if os.name == 'mac':
                  self.timer = MacOS.GetTicks
                  self.dispatcher = self.trace_dispatch_mac
                  self.get_time = _get_time_mac
--- 160,171 ----
              bias = self.bias
          self.bias = bias     # Materialize in local dict for lookup speed.
  
!         if not timer:
!             if _has_res:
!                 self.timer = resgetrusage
!                 self.dispatcher = self.trace_dispatch
!                 self.get_time = _get_time_resource
!             elif os.name == 'mac':
                  self.timer = MacOS.GetTicks
                  self.dispatcher = self.trace_dispatch_mac
                  self.get_time = _get_time_mac