# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1578647231 -3600
# Node ID 5bd801bd36aa4ada7a67884bbfb39ba243037f8d
# Parent  4ccc5bb65be2acab83ab04f13b1e0ff6b5fdf0da
server: fixed shebang

diff -r 4ccc5bb65be2 -r 5bd801bd36aa libervia/server/server.py
--- a/libervia/server/server.py	Sun Dec 29 17:36:25 2019 +0100
+++ b/libervia/server/server.py	Fri Jan 10 10:07:11 2020 +0100
@@ -1,5 +1,4 @@
-#!/usr/bin/python
-# -*- coding: utf-8 -*-
+#!/usr/bin/env python3
 
 # Libervia: a Salut à Toi frontend
 # Copyright (C) 2011-2019 Jérôme Poisson <goffi@goffi.org>