Update halui.cc