blob: 378d58f5756c9e7c95c30d08c3ac72c9c2195b2d [file] [log] [blame]
Guido van Rossumf06ee5f1996-11-27 19:52:01 +00001#! /usr/bin/env python
Guido van Rossum4450bab1994-10-11 14:57:03 +00002
Guido van Rossum502d9601995-09-07 19:59:22 +00003# Tkinter interface to SYSV `ps' and `kill' commands.
Guido van Rossum18886ab1994-07-08 15:08:55 +00004
5from Tkinter import *
Guido van Rossum502d9601995-09-07 19:59:22 +00006
7if TkVersion < 4.0:
Collin Winter6f2df4d2007-07-17 20:59:35 +00008 raise ImportError("This version of svkill requires Tk 4.0 or later")
Guido van Rossum502d9601995-09-07 19:59:22 +00009
Guido van Rossum18886ab1994-07-08 15:08:55 +000010from string import splitfields
11from string import split
12import commands
13import os
14
15user = os.environ['LOGNAME']
16
17class BarButton(Menubutton):
Tim Peters182b5ac2004-07-18 06:16:08 +000018 def __init__(self, master=None, **cnf):
Neal Norwitzd9108552006-03-17 08:00:19 +000019 Menubutton.__init__(self, master, **cnf)
Tim Peters182b5ac2004-07-18 06:16:08 +000020 self.pack(side=LEFT)
21 self.menu = Menu(self, name='menu')
22 self['menu'] = self.menu
Guido van Rossum18886ab1994-07-08 15:08:55 +000023
24class Kill(Frame):
Tim Peters182b5ac2004-07-18 06:16:08 +000025 # List of (name, option, pid_column)
26 view_list = [
27 ('Default', ''),
28 ('Every (-e)', '-e'),
29 ('Non process group leaders (-d)', '-d'),
30 ('Non leaders with tty (-a)', '-a'),
31 ('For this user (-u %s)' % user, '-u %s' % user),
32 ]
33 format_list = [
34 ('Default', '', 0),
35 ('Long (-l)', '-l', 3),
36 ('Full (-f)', '-f', 1),
37 ('Full Long (-f -l)', '-l -f', 3),
38 ('Session and group ID (-j)', '-j', 0),
39 ('Scheduler properties (-c)', '-c', 0),
40 ]
41 def kill(self, selected):
42 c = self.format_list[self.format.get()][2]
43 pid = split(selected)[c]
44 os.system('kill -9 ' + pid)
45 self.do_update()
46 def do_update(self):
47 format = self.format_list[self.format.get()][1]
48 view = self.view_list[self.view.get()][1]
49 s = commands.getoutput('ps %s %s' % (view, format))
50 list = splitfields(s, '\n')
51 self.header.set(list[0] + ' ')
52 del list[0]
53 self.frame.list.delete(0, AtEnd())
54 for line in list:
55 self.frame.list.insert(0, line)
56 def do_motion(self, e):
57 e.widget.select_clear('0', 'end')
58 e.widget.select_set(e.widget.nearest(e.y))
59 def do_leave(self, e):
60 e.widget.select_clear('0', 'end')
61 def do_1(self, e):
62 self.kill(e.widget.get(e.widget.nearest(e.y)))
63 def __init__(self, master=None, **cnf):
Neal Norwitzd9108552006-03-17 08:00:19 +000064 Frame.__init__(self, master, **cnf)
Tim Peters182b5ac2004-07-18 06:16:08 +000065 self.pack(expand=1, fill=BOTH)
66 self.bar = Frame(self, name='bar', relief=RAISED,
67 borderwidth=2)
68 self.bar.pack(fill=X)
69 self.bar.file = BarButton(self.bar, text='File')
70 self.bar.file.menu.add_command(
71 label='Quit', command=self.quit)
72 self.bar.view = BarButton(self.bar, text='View')
73 self.bar.format = BarButton(self.bar, text='Format')
74 self.view = IntVar(self)
75 self.view.set(0)
76 self.format = IntVar(self)
77 self.format.set(0)
78 for num in range(len(self.view_list)):
79 label, option = self.view_list[num]
80 self.bar.view.menu.add_radiobutton(
81 label=label,
82 command=self.do_update,
83 variable=self.view,
84 value=num)
85 for num in range(len(self.format_list)):
86 label, option, col = self.format_list[num]
87 self.bar.format.menu.add_radiobutton(
88 label=label,
89 command=self.do_update,
90 variable=self.format,
91 value=num)
92 self.bar.tk_menuBar(self.bar.file,
93 self.bar.view,
94 self.bar.format)
95 self.frame = Frame(self, relief=RAISED, borderwidth=2)
96 self.frame.pack(expand=1, fill=BOTH)
97 self.header = StringVar(self)
98 self.frame.label = Label(
99 self.frame, relief=FLAT, anchor=NW, borderwidth=0,
100 font='*-Courier-Bold-R-Normal-*-120-*',
101 textvariable=self.header)
102 self.frame.label.pack(fill=Y, anchor=W)
103 self.frame.vscroll = Scrollbar(self.frame, orient=VERTICAL)
104 self.frame.list = Listbox(
105 self.frame,
106 relief=SUNKEN,
107 font='*-Courier-Medium-R-Normal-*-120-*',
108 width=40, height=10,
109 selectbackground='#eed5b7',
110 selectborderwidth=0,
111 selectmode=BROWSE,
112 yscroll=self.frame.vscroll.set)
113 self.frame.vscroll['command'] = self.frame.list.yview
114 self.frame.vscroll.pack(side=RIGHT, fill=Y)
115 self.frame.list.pack(expand=1, fill=BOTH)
116 self.update = Button(self, text='Update',
117 command=self.do_update)
118 self.update.pack(fill=X)
119 self.frame.list.bind('<Motion>', self.do_motion)
120 self.frame.list.bind('<Leave>', self.do_leave)
121 self.frame.list.bind('<1>', self.do_1)
122 self.do_update()
Guido van Rossum18886ab1994-07-08 15:08:55 +0000123
124if __name__ == '__main__':
Tim Peters182b5ac2004-07-18 06:16:08 +0000125 kill = Kill(None, borderwidth=5)
126 kill.winfo_toplevel().title('Tkinter Process Killer (SYSV)')
127 kill.winfo_toplevel().minsize(1, 1)
128 kill.mainloop()