printing numbers with comma delimited decimals

[Tristram Shorter]

Dear Everyone,

I´m currently creating a new mysql-php powered aplication, but still depend on an older aplication which uses a 4D type database.

Currently I need to generate .txt files using mysql in order to update the old database. However, these need the numbers in them to have decimals delimited by commas, not points. Also, the files shouldn´t have the first (header) line, containing the column names. Right now what I do is to open each .txt file, and edit it manually using EXCEL, but this is time consuming, and may potentially lead to mistakes. Is there any way I can do this using only mysql?

In php there is an excelent function for printing numbers any way one wants:
number_format($number, number of decimals, decimal separating character, thousand separating character). Is there any mysql equivalent to this function?

Thank you very much for your help.

Tristram