Significato di /*!40014 nel file di backup di phpmyadmin

[Nunkij]

Salve a tutti
ho un file in cui ho salvato il dump di un database mysql.
Vorrei capire i vari significati delle righe.
Le query mi sono tutte chiare.
Le righe che iniziano per "--" dovrebbero essere i commenti.
Mentre a che servono le righe che iniziano per /*!40014 ?

per esempio:

/*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
/*!40101 SET @OLD_CHARACTER_SET_RESULTS=@@CHARACTER_SET_RESULTS */;
/*!40101 SET @OLD_COLLATION_CONNECTION=@@COLLATION_CONNECTION */;
/*!40101 SET NAMES utf8 */;


Sono commenti anche questi?
Mi confonde il fatto che siano racchiusi tra /* */ come dei commenti ma terminano con ";" come delle istruzioni.
Grazie a chi mi risponderà

[piero.mac]

Originariamente inviato da Nunkij
Salve a tutti
ho un file in cui ho salvato il dump di un database mysql.
Vorrei capire i vari significati delle righe.
Le query mi sono tutte chiare.
Le righe che iniziano per "--" dovrebbero essere i commenti.
Mentre a che servono le righe che iniziano per /*!40014 ?

per esempio:

/*!40101 SET @OLD_CHARACTER_SET_CLIENT=@@CHARACTER_SET_CLIENT */;
/*!40101 SET @OLD_CHARACTER_SET_RESULTS=@@CHARACTER_SET_RESULTS */;
/*!40101 SET @OLD_COLLATION_CONNECTION=@@COLLATION_CONNECTION */;
/*!40101 SET NAMES utf8 */;


Sono commenti anche questi?
Mi confonde il fatto che siano racchiusi tra /* */ come dei commenti ma terminano con ";" come delle istruzioni.
Grazie a chi mi risponderà

Sono istruzioni incompatibili con versioni vecchie di mysql. 4.01.01 e precedenti per intenderci.
Queste istruzioni sono ignorate oppure eseguite a seconda della versione di mysql.

Se ti interessa conoscere di piu' cerca il bug (Bug #15690)

[Nunkij]

Ti ringrazio, mi documenterò!!!