The title says it all. Calling os.downloadBots(bots, filename) with an undefinedfilename throws an error, but the error doesn't directly indicate what the problem is. os.downloadBots() should be improved to check for undefined arguments and throw an error that indicates that the argument must be provided.
The title says it all. Calling
os.downloadBots(bots, filename)with anundefinedfilenamethrows an error, but the error doesn't directly indicate what the problem is.os.downloadBots()should be improved to check for undefined arguments and throw an error that indicates that the argument must be provided.