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, 0 insertions, 17 deletions
diff --git a/databases/mysql-gui/files/patch-gif.cc b/databases/mysql-gui/files/patch-gif.cc deleted file mode 100644 index 33276477b436..000000000000 --- a/databases/mysql-gui/files/patch-gif.cc +++ /dev/null @@ -1,17 +0,0 @@ ---- 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); - } |