equal
deleted
inserted
replaced
707 } else { |
707 } else { |
708 return NULL; |
708 return NULL; |
709 } |
709 } |
710 } |
710 } |
711 |
711 |
712 void SplashFreeLibrary() { |
|
713 if (hSplashLib) { |
|
714 dlclose(hSplashLib); |
|
715 hSplashLib = NULL; |
|
716 } |
|
717 } |
|
718 |
|
719 /* |
712 /* |
720 * Signature adapter for pthread_create(). |
713 * Signature adapter for pthread_create(). |
721 */ |
714 */ |
722 static void* ThreadJavaMain(void* args) { |
715 static void* ThreadJavaMain(void* args) { |
723 return (void*)(intptr_t)JavaMain(args); |
716 return (void*)(intptr_t)JavaMain(args); |