rt: rust_sched_launcher needs a virtual destructor

2012-04-01 13:25:49 -07:00 · 2012-04-01 13:25:49 -07:00 · 9d5c20ecca
commit 9d5c20ecca
parent ac0381c0bb
1 changed files with 1 additions and 0 deletions
--- a/src/rt/rust_sched_launcher.h
+++ b/src/rt/rust_sched_launcher.h
@ -17,6 +17,7 @@ protected:

 public:
    rust_sched_launcher(rust_scheduler *sched, rust_srv *srv, int id);
+    virtual ~rust_sched_launcher() { }

    virtual void start() = 0;
    virtual void join() = 0;