--- a/ObjectFileLoader.st Fri Mar 11 00:45:36 2016 +0100
+++ b/ObjectFileLoader.st Fri Mar 11 00:54:57 2016 +0100
@@ -3107,7 +3107,7 @@
//
handle = LoadLibraryEx(__stringVal(pathName), NULL, LOAD_WITH_ALTERED_SEARCH_PATH);
if (@global(Verbose) == true) {
- console_fprintf(stderr, "ObjectFileLoader [info]: handle: %x\n", handle);
+ console_fprintf(stderr, "ObjectFileLoader [info]: handle: %"_lx_"\n", (INT)handle);
console_fflush(stderr);
}
if (handle == NULL) {
@@ -3474,8 +3474,13 @@
# endif
handle = (HINSTANCE)(val);
- if (setjmp(exitJmpBuf)) {
- __setAtExitLongJmp(exitJmpBuf);
+ if (setjmp(exitJmpBuf)) {
+ __setAtExitLongJmp(exitJmpBuf);
+ if (@global(Verbose) == true) {
+ console_fprintf (stderr,
+ "ObjectFileLoader [info]: FreeLibrary %s handle: %"_lx_"\n",
+ __stringVal(sysHandle1), (INT)handle);
+ }
if (FreeLibrary(handle) != TRUE) {
__setAtExitLongJmp(0);
err = GetLastError();