From 799a372d18cef229fa32274b93814973350aa202 Mon Sep 17 00:00:00 2001
From: Nikos Kouremenos <kourem@gmail.com>
Date: Sat, 7 Oct 2006 13:22:01 +0000
Subject: [PATCH] no need to call shell

---
 src/history_manager.py | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/history_manager.py b/src/history_manager.py
index a4bd75528..c2b653c20 100755
--- a/src/history_manager.py
+++ b/src/history_manager.py
@@ -1,7 +1,4 @@
-#!/bin/sh
-''':'
-exec python -OOt "$0" ${1+"$@"}
-' '''
+#!/usr/bin/env python
 ## history_manager.py
 ##
 ## Copyright (C) 2006 Nikos Kouremenos <kourem@gmail.com>
@@ -51,7 +48,6 @@ except ImportError:
 
 
 class HistoryManager:
-
 	def __init__(self):
 		path_to_file = os.path.join(gajim.DATA_DIR, 'pixmaps/gajim.png')
 		pix = gtk.gdk.pixbuf_new_from_file(path_to_file)