2020-02-25 17:08:01 +01:00
|
|
|
#!/bin/bash
|
2020-02-26 10:19:36 +01:00
|
|
|
YELLOW="\\033[1;33m"
|
|
|
|
|
DEFAULT="\\033[0;39m"
|
|
|
|
|
|
|
|
|
|
echo -e $YELLOW"\t"
|
|
|
|
|
echo -e "* ------------------------------------------------------------------"
|
|
|
|
|
echo -e "\t"
|
|
|
|
|
echo -e " - - - - - - - - PLEASE RELAUNCH AIL - - - - - - - - "
|
|
|
|
|
echo -e "\t"
|
|
|
|
|
echo -e "* ------------------------------------------------------------------"
|
|
|
|
|
echo -e "\t"
|
|
|
|
|
echo -e "\t"$DEFAULT
|
2020-02-25 17:08:01 +01:00
|
|
|
|
|
|
|
|
# fix invalid Updater version (kill parent):
|
|
|
|
|
kill -SIGUSR1 `ps --pid $$ -oppid=`; exit
|
