[meld] Remove unused and/or broken features from launcher
- From: Kai Willadsen <kaiw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [meld] Remove unused and/or broken features from launcher
- Date: Mon, 14 Oct 2013 21:09:50 +0000 (UTC)
commit f92ca396c912a113ed59955705fc3cad0d6c430c
Author: Kai Willadsen <kai willadsen gmail com>
Date: Sun Oct 6 12:35:32 2013 +1000
Remove unused and/or broken features from launcher
bin/meld | 21 +--------------------
1 files changed, 1 insertions(+), 20 deletions(-)
---
diff --git a/bin/meld b/bin/meld
index 0f04005..681e40e 100755
--- a/bin/meld
+++ b/bin/meld
@@ -41,21 +41,6 @@ class Unbuffered(object):
return getattr(self.file, attr)
sys.stdout = Unbuffered(sys.stdout)
-# Ignore session management
-for ignore in "--sm-config-prefix", "--sm-client-id":
- try:
- smprefix = sys.argv.index(ignore)
- del sys.argv[smprefix:smprefix + 2]
- except (ValueError, IndexError):
- pass
-
-# Extract the profiling flag
-try:
- sys.argv.remove("--profile")
- profiling = True
-except ValueError:
- profiling = False
-
# Support running from an uninstalled version
if os.path.basename(__file__) == "meld":
self_path = os.path.realpath(__file__)
@@ -155,8 +140,4 @@ def main():
status = app.run(sys.argv)
sys.exit(status)
-if profiling:
- import profile
- profile.run("main()")
-else:
- main()
+main()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]