Fix a bug that can't launch HistoryGluon server by history-gluon-server script.