--- gtk-recordmydesktop-0.3.8.orig/src/rmdPrefsWidget.py 2009-10-12 12:40:32.470028483 +0100 +++ gtk-recordmydesktop-0.3.8/src/rmdPrefsWidget.py 2009-10-12 12:41:08.086044353 +0100 @@ -323,11 +323,33 @@ for i in range(4): self.labelbox[i].show() self.notebook.show() + + def which(self,program): + import os + def is_exe(fpath): + return os.path.exists(fpath) and os.access(fpath, os.X_OK) + + fpath, fname = os.path.split(program) + if fpath: + if is_exe(program): + return program + else: + for path in os.environ["PATH"].split(os.pathsep): + exe_file = os.path.join(path, program) + if is_exe(exe_file): + return exe_file + + return None + + def __runJackLSP__(self,button=None): if button!=None: self.__getSelectedPorts__() self.ports=[] failed=0 + if self.which('jack_lsp') == None: + self.jack_button.set_sensitive(False) + return (stdin,stdout,stderr)=os.popen3(['jack_lsp'],'t') ports=stdout.readlines() stdin.close()