blob: 4298cdddf8fb9e4059cc9ecd561fb094d5cb780e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
#include "nsISupports.idl"
[scriptable, uuid(1341f571-ebed-4305-b264-4d8fc3b6b11c)]
interface nsIProcessToolsService: nsISupports {
/**
* Kill a process running on this system.
*
* Does not cause a crash report to be generated and sent.
*
* # Note
*
* `pid` is the unique-to-the-system process identifier, as
* obtained with attribute `pid` of this service.
*
* Under Un*ix, that's what you obtain with `getpid()`, etc.
* Under Windows, that's what you obtain with `GetCurrentProcessId()`,
* NOT the same thing as the process `HANDLE`.
*
* # Failure
*
* Under Windows, if two processes race to `kill()` a third process,
* or two threads race to `kill()` a process there is a (small) window
* during which this can cause a crash in the losing process.
*
* # Caveats
*
* Under Windows, process killing is asynchronous. Therefore, this
* function can return before process `pid` is actually dead.
*/
void kill(in unsigned long long pid);
/**
* Crash a process running on this system. Generates a SIGABRT on Linux and
* macOS, and a STATUS_ILLEGAL_INSTRUCTION on Windows.
*
* Does cause a crash report to be generated.
*/
void crash(in unsigned long long pid);
/**
* The pid for the current process.
*/
readonly attribute unsigned long long pid;
};
|
