changeset 1233:5bd801bd36aa

server: fixed shebang
author Goffi <goffi@goffi.org>
date Fri, 10 Jan 2020 10:07:11 +0100
parents 4ccc5bb65be2
children 178acd785823
files libervia/server/server.py
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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>