diff options
| author | AnotherTest <ali.mpfard@gmail.com> | 2020-05-26 18:54:57 +0430 |
|---|---|---|
| committer | Andreas Kling <kling@serenityos.org> | 2020-05-27 11:13:02 +0200 |
| commit | ce61cad93387540c3496059bdcea2614635e63e4 (patch) | |
| tree | 820061187c67d48af5331884c0005270aef252ec /Shell/Shell.h | |
| parent | 790915da5400d8569e514baba3df9db087acfdf3 (diff) | |
| download | serenity-ce61cad93387540c3496059bdcea2614635e63e4.zip | |
Shell: Never assign equal job ids to two different jobs
Since the last job need not have an ID of size()-1, we need to find the
max job id and give that+1 out
Diffstat (limited to 'Shell/Shell.h')
| -rw-r--r-- | Shell/Shell.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Shell/Shell.h b/Shell/Shell.h index b3e471b07c..dfaf2871ff 100644 --- a/Shell/Shell.h +++ b/Shell/Shell.h @@ -117,6 +117,8 @@ public: bool is_waiting_for(pid_t pid) const { return m_waiting_for_pid == pid; } + u64 find_last_job_id() const; + String get_history_path(); void load_history(); void save_history(); |