tweaks for intervals

direct/src/extensions/CInterval-extensions.py

@@ -21,13 +21,23 @@
 
     def pause(self):
         self.interrupt()
-        # Kill task
-        taskMgr.remove(self.getName() + '-play')
+        # Kill old task(s), including those from a similarly-named but
+        # different interval.
+        taskName = self.getName() + '-play'
+        oldTasks = taskMgr.getTasksNamed(taskName)
+        for task in oldTasks:
+            if hasattr(task, "interval"):
+                task.interval.interrupt()
+                taskMgr.remove(task)
         return self.getT()
 
     def resume(self):
         # Spawn task
-        taskMgr.add(self.__playTask, self.getName() + '-play')
+        import Task
+        taskName = self.getName() + '-play'
+        task = Task.Task(self.__playTask)
+        task.interval = self
+        taskMgr.add(task, taskName)
     
     def finish(self):
         # Nowadays, finish() will implicitly set the interval to its

direct/src/interval/cInterval.I

@@ -143,7 +143,7 @@ recompute() const {
 ////////////////////////////////////////////////////////////////////
 INLINE void CInterval::
 check_stopped(const char *method_name) const {
-  if (_state != S_initial && _state != S_final) {
+  if (_state == S_started) {
     interval_cat.warning()
       << get_name() << "." << method_name << "() called in state "
       << _state << ".\n";