Baru-baru ini saya menemukan file dengan ekstensi .pid dan menjelajahinya tetapi tidak menemukan banyak. Dokumentasi mengatakan:
Pid-File adalah file yang berisi nomor identifikasi proses (pid) yang disimpan di lokasi sistem file yang terdefinisi dengan baik sehingga memungkinkan program lain untuk mengetahui pid dari skrip yang sedang berjalan.
Adakah yang bisa menjelaskan lebih lanjut tentang ini, atau membimbing saya untuk detail dari apa yang terkandung dalam file pid?
echo filename.pid | xargs kill
tidak akan mematikan proses. Saya kira Anda maksud:echo $(cat filename.pid) | xargs kill
atauecho <process ID> | xargs kill
.cat filename.pid | xargs kill
?Pidfile berisi pid dari suatu proses. Ini adalah konvensi yang memungkinkan proses berjalan lama menjadi lebih sadar diri. Proses server dapat memeriksanya untuk menghentikannya sendiri, atau memiliki heuristik bahwa instance lainnya sudah berjalan. Pidfiles juga dapat digunakan untuk membunuh risiko secara manual, misalnya
pkill -F <some.pid>
sumber
Untuk memahami file pid, lihat DOC ini
Beberapa kali ada aplikasi tertentu yang membutuhkan dukungan tambahan dari plugin dan utilitas tambahan. Jadi itu melacak utilitas dan proses plugin ini menjalankan id menggunakan file pid ini untuk referensi.
Itu sebabnya setiap kali Anda me-restart aplikasi semua plugin yang diperlukan dan aplikasi yang tergantung harus di-restart karena file pid akan menjadi basi.
sumber