MySQL Bugs: #94326: copy_migrated_tables.cmd gives: wbcopytables.exe doesn't exist in the supplied

Bug #94326	copy_migrated_tables.cmd gives: wbcopytables.exe doesn't exist in the supplied
Submitted:	14 Feb 2019 14:14	Modified:	14 Feb 2019 19:36
Reporter:	Henk Boerboom	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench: Migration	Severity:	S3 (Non-critical)
Version:	8.0.15	OS:	Windows
Assigned to:		CPU Architecture:	Any
Tags:	command, wizard

Description:
Running the Migration wizard with (o) Create a batch file to copy data at another time, and then running the generated file in a command window, gives: "wbcopytables.exe doesn't exist in the supplied path. Please set 'wbcopytables_path' with the proper path(e.g. to Workbench binaries)"

How to repeat:
Run the Migration Wizard with option to generate copy_migrated_tables.cmd

Suggested fix:
Generated is:
if not ["%wbcopytables_path%"] == [] set "wbcopytables_path=%wbcopytables_path%"set "wbcopytables=%wbcopytables_path%wbcopytables.exe"

Change to:
if not ["%wbcopytables_path%"] == [] set "wbcopytables=%wbcopytables_path%\wbcopytables.exe"

The extra back-slash can be omitted if generated at the end of the following line (Better):
set "wbcopytables_path=C:\Program Files\MySQL\MySQL Workbench 8.0 CE"

Thank you for the bug report.