diff options
Diffstat (limited to 'databases/mysql-gui/files/patch-gif.cc')
| -rw-r--r-- | databases/mysql-gui/files/patch-gif.cc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/databases/mysql-gui/files/patch-gif.cc b/databases/mysql-gui/files/patch-gif.cc new file mode 100644 index 0000000..3327647 --- /dev/null +++ b/databases/mysql-gui/files/patch-gif.cc @@ -0,0 +1,17 @@ +--- gif.cc.orig Wed Apr 11 21:12:24 2001 ++++ gif.cc Mon Feb 3 03:46:27 2003 +@@ -107,11 +107,11 @@ + box(FL_NO_BOX); end(); show(); + } + ~gif_window () { +- if (p && p->data) { +- char** real_data = (char**)(p->data); ++ if (p && p->alloc_data) { ++ char** real_data = (char**)(p->alloc_data); + for (int i = 0; i < 3; i++) delete[] real_data[i]; + delete[] real_data; +- p->data = 0; delete p; p = 0; ++ p->alloc_data = 0; delete p; p = 0; + } + if (linelength) free((void*)linelength); + } |
