#!/bin/sh
while [[ "1" = "1" ]]; do
	./GIE_server
	sleep 10
done