home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / pyos2bin.zip / Demo / tkinter / guido / kill.py < prev    next >
Text File  |  1996-11-27  |  3KB  |  100 lines

  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()
  99.  
  100.