Difference between revisions of "Process identifier (PID)"

From wikieduonline
Jump to navigation Jump to search
Tags: Mobile web edit, Mobile edit
 
(11 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Draft}}
 
 
[[wikipedia:Process identifier]]
 
[[wikipedia:Process identifier]]
  
Apr 08 08:44:48 SERVER systemd[1]: [[nginx.service]]: Failed to parse PID from file [[/run]]/nginx.pid: Invalid argument
+
<code>Apr 08 08:44:48 SERVER systemd[1]: [[nginx.service]]: Failed to parse PID from file [[/run]]/nginx.pid: Invalid argument</code>
 +
 
 +
In [[WSL]]
 +
System has not been booted with systemd as init system (PID 1). Can't operate.
 +
Failed to connect to bus: Host is down
 +
 
 +
== Scripts ==
 +
{{check_PID_running}}
  
  
 
== Related terms ==
 
== Related terms ==
* [[namespace]]
+
* <code>[[namespace]]</code>
 
+
* <code>[[/proc/$PID]]/[[cmdline]]</code>
 +
* <code>/proc/$pid/fd</code>
 +
* <code>[[pwdx]]</code>
 +
* <code>SELECT [[pg_cancel_backend]](__[[pid]]__);</code>
  
 
== See also ==
 
== See also ==
 +
* {{PID}}
 
* {{ps}}
 
* {{ps}}
 +
 +
[[Category:Computing]]

Latest revision as of 16:03, 30 March 2023

wikipedia:Process identifier

Apr 08 08:44:48 SERVER systemd[1]: nginx.service: Failed to parse PID from file /run/nginx.pid: Invalid argument

In WSL

System has not been booted with systemd as init system (PID 1). Can't operate.
Failed to connect to bus: Host is down

Scripts[edit]

#!/bin/bash

if [ $# -eq 0 ]
then
    echo "Usage: $0 <process PID>"
    echo "Checks if a process is running by its PID."
    exit 1
fi

# Get the PID of the process to check from the command line argument
process_pid=$1

# Check if the process is running
if ps -p $process_pid > /dev/null
then
    echo "Process with PID $process_pid is running."
else
    echo "Process with PID $process_pid is not running. Running tput bel..."
    while true; do tput bel; sleep 1; done
fi


Related terms[edit]

See also[edit]

Advertising: