diff options
| author | Carl Hetherington <cth@carlh.net> | 2017-01-28 00:35:55 +0000 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2017-01-28 00:35:55 +0000 |
| commit | f5bc071ddac2355da1d116404cc37f4485e97699 (patch) | |
| tree | 55da5257669b366fac0a6d9d214655f75867543a /src/lib/job.h | |
| parent | 861267156da5960260c9a080dce94c0892fd012a (diff) | |
Add priority control buttons to batch converter (#961).
Diffstat (limited to 'src/lib/job.h')
| -rw-r--r-- | src/lib/job.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/lib/job.h b/src/lib/job.h index 660ddaa13..311f9cc91 100644 --- a/src/lib/job.h +++ b/src/lib/job.h @@ -50,7 +50,8 @@ public: virtual void run () = 0; void start (); - void pause (); + void pause_by_user (); + void pause_by_priority (); void resume (); void cancel (); @@ -60,7 +61,8 @@ public: bool finished_ok () const; bool finished_in_error () const; bool finished_cancelled () const; - bool paused () const; + bool paused_by_user () const; + bool paused_by_priority () const; std::string error_summary () const; std::string error_details () const; @@ -94,7 +96,8 @@ protected: enum State { NEW, ///< the job hasn't been started yet RUNNING, ///< the job is running - PAUSED, ///< the job has been paused + PAUSED_BY_USER, ///< the job has been paused + PAUSED_BY_PRIORITY, ///< the job has been paused FINISHED_OK, ///< the job has finished successfully FINISHED_ERROR, ///< the job has finished in error FINISHED_CANCELLED ///< the job was cancelled |