Rename hanoi to lda in server side code.