title: Problem executing batch file Mysql
body: <p>I' experiencing problems while trying to run a batch file within Mysql shell.</p>
  
  <p>I wrote a stored procedure :</p>
  
  <pre><code>DELIMITER $$
  
  DROP PROCEDURE IF EXISTS creaFornitori_prova$$
  CREATE PROCEDURE creaFornitori_prova ()
  BEGIN
  create table Fornitori_prova (id_For mediumint(5) NOT NULL auto_increment,
  nome_For varchar(50) NOT NULL,
  ind_For varchar(50) NOT NULL,
  PRIMARY KEY  (id_For)
  ) ENGINE=InnoDB;
  END$$
  
  DELIMITER ;
  </code></pre>
  
  <p>I called the file : st_F.sql</p>
  
  <p>Whenever I try to execute the file through the command : <code>source st_F.sql;</code></p>
  
  <p>I get this error:</p>
  
  <p>ERROR: 
  Failed to open file 'st_F.sql', error: 2</p>
  
  <p>I get the same error when I use <code>\. st_Fornitori.sql;</code></p>
  
  <p>Thanks Mauro</p>