~malept/ubuntu/lucid/python2.6/dev-dependency-fix

« back to all changes in this revision

Viewing changes to Demo/tkinter/guido/kill.py

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Klose
  • Date: 2009-02-13 12:51:00 UTC
  • Revision ID: james.westby@ubuntu.com-20090213125100-uufgcb9yeqzujpqw
Tags: upstream-2.6.1
ImportĀ upstreamĀ versionĀ 2.6.1

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
#! /usr/bin/env python
 
2
# Tkinter interface to Linux `kill' command.
 
3
 
 
4
from Tkinter import *
 
5
from string import splitfields
 
6
from string import split
 
7
import commands
 
8
import os
 
9
 
 
10
class BarButton(Menubutton):
 
11
    def __init__(self, master=None, **cnf):
 
12
        apply(Menubutton.__init__, (self, master), cnf)
 
13
        self.pack(side=LEFT)
 
14
        self.menu = Menu(self, name='menu')
 
15
        self['menu'] = self.menu
 
16
 
 
17
class Kill(Frame):
 
18
    # List of (name, option, pid_column)
 
19
    format_list = [('Default', '', 0),
 
20
                   ('Long', '-l', 2),
 
21
                   ('User', '-u', 1),
 
22
                   ('Jobs', '-j', 1),
 
23
                   ('Signal', '-s', 1),
 
24
                   ('Memory', '-m', 0),
 
25
                   ('VM', '-v', 0),
 
26
                   ('Hex', '-X', 0)]
 
27
    def kill(self, selected):
 
28
        c = self.format_list[self.format.get()][2]
 
29
        pid = split(selected)[c]
 
30
        os.system('kill -9 ' + pid)
 
31
        self.do_update()
 
32
    def do_update(self):
 
33
        name, option, column = self.format_list[self.format.get()]
 
34
        s = commands.getoutput('ps -w ' + option)
 
35
        list = splitfields(s, '\n')
 
36
        self.header.set(list[0])
 
37
        del list[0]
 
38
        y = self.frame.vscroll.get()[0]
 
39
        self.frame.list.delete(0, AtEnd())
 
40
        for line in list:
 
41
            self.frame.list.insert(0, line)
 
42
        self.frame.list.yview(int(y))
 
43
    def do_motion(self, e):
 
44
        e.widget.select_clear(0, END)
 
45
        e.widget.select_set(e.widget.nearest(e.y))
 
46
    def do_leave(self, e):
 
47
        e.widget.select_clear(0, END)
 
48
    def do_1(self, e):
 
49
        self.kill(e.widget.get(e.widget.nearest(e.y)))
 
50
    def __init__(self, master=None, **cnf):
 
51
        Frame.__init__(self, master, cnf)
 
52
        self.pack(expand=1, fill=BOTH)
 
53
        self.bar = Frame(self, name='bar', relief=RAISED,
 
54
                         borderwidth=2)
 
55
        self.bar.pack(fill=X)
 
56
        self.bar.file = BarButton(self.bar, text='File')
 
57
        self.bar.file.menu.add_command(
 
58
                label='Quit', command=self.quit)
 
59
        self.bar.view = BarButton(self.bar, text='View')
 
60
        self.format = IntVar(self)
 
61
        self.format.set(2)
 
62
        for num in range(len(self.format_list)):
 
63
            self.bar.view.menu.add_radiobutton(
 
64
                    label=self.format_list[num][0],
 
65
                    command=self.do_update,
 
66
                    variable=self.format,
 
67
                    value=num)
 
68
        #self.bar.view.menu.add_separator()
 
69
        #XXX ...
 
70
        self.bar.tk_menuBar(self.bar.file, self.bar.view)
 
71
        self.frame = Frame(self, relief=RAISED, borderwidth=2)
 
72
        self.frame.pack(expand=1, fill=BOTH)
 
73
        self.header = StringVar(self)
 
74
        self.frame.label = Label(self.frame, relief=FLAT, anchor=NW,
 
75
                                 borderwidth=0,
 
76
                                 textvariable=self.header)
 
77
        self.frame.label.pack(fill=X)
 
78
        self.frame.vscroll = Scrollbar(self.frame, orient=VERTICAL)
 
79
        self.frame.list = Listbox(self.frame, relief=SUNKEN,
 
80
                                  selectbackground='#eed5b7',
 
81
                                  selectborderwidth=0,
 
82
                                  yscroll=self.frame.vscroll.set)
 
83
        self.frame.vscroll['command'] = self.frame.list.yview
 
84
        self.frame.vscroll.pack(side=RIGHT, fill=Y)
 
85
        self.frame.list.pack(expand=1, fill=BOTH)
 
86
        self.update = Button(self, text="Update",
 
87
                             command=self.do_update)
 
88
        self.update.pack(expand=1, fill=X)
 
89
        self.frame.list.bind('<Motion>', self.do_motion)
 
90
        self.frame.list.bind('<Leave>', self.do_leave)
 
91
        self.frame.list.bind('<1>', self.do_1)
 
92
        self.do_update()
 
93
 
 
94
if __name__ == '__main__':
 
95
    kill = Kill(None, borderwidth=5)
 
96
    kill.winfo_toplevel().title('Tkinter Process Killer')
 
97
    kill.winfo_toplevel().minsize(1, 1)
 
98
    kill.mainloop()