Make pid type: GPid (bug 14401)

2018-05-28 23:12:18 +03:00
parent 397bb63e23
commit ceb5a7d347
12 changed files with 68 additions and 70 deletions
--- a/src/task-manager-bsd.c
+++ b/src/task-manager-bsd.c
@@ -157,7 +157,7 @@ gboolean get_task_list (GArray *task_list)
 }

 gboolean
-pid_is_sleeping (guint pid)
+pid_is_sleeping (GPid pid)
 {
 	int mib[6];
 #ifdef __OpenBSD__