Solved OSHDA* bug

-Solved the bug that os hda* returns bad_alloc
-Refactored pull.sh to pull from david.