diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-27 17:32:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-27 17:32:43 +0200 |
| commit | 72996df656d4ecf8da22a9fe34f2fc73b91b1405 (patch) | |
| tree | 67098c296027de1899c232c6f96719abedcdacee /core | |
| parent | c1f687c6818883f70c2b7f85577c51ed5ad65c08 (diff) | |
Revert "Try closing gracefully before terminating process"
Diffstat (limited to 'core')
| -rw-r--r-- | core/os/os.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/os/os.h b/core/os/os.h index 6f9a72d451..100af95ef1 100644 --- a/core/os/os.h +++ b/core/os/os.h @@ -256,7 +256,7 @@ public: virtual String get_executable_path() const; virtual Error execute(const String &p_path, const List<String> &p_arguments, bool p_blocking, ProcessID *r_child_id = NULL, String *r_pipe = NULL, int *r_exitcode = NULL, bool read_stderr = false) = 0; - virtual Error kill(const ProcessID &p_pid, const int p_max_wait_msec = -1) = 0; + virtual Error kill(const ProcessID &p_pid) = 0; virtual int get_process_id() const; virtual Error shell_open(String p_uri); |