1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

Merge vajra.(none):/opt/local/work/mysql-5.0-21483

into  vajra.(none):/opt/local/work/mysql-5.1-21483
This commit is contained in:
kostja@vajra.(none)
2007-05-16 10:21:39 +04:00
6 changed files with 436 additions and 78 deletions

View File

@ -971,6 +971,12 @@ public:
query_tables_own_last= 0;
}
}
/**
true if the parsed tree contains references to stored procedures
or functions, false otherwise
*/
bool uses_stored_routines() const
{ return sroutines_list.elements != 0; }
};