mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2025-01-18 22:26:30 +01:00
test script: strip extension when making logs dir
This commit is contained in:
parent
47bced5f18
commit
80b7097eee
1 changed files with 1 additions and 1 deletions
|
@ -914,7 +914,7 @@ def parseArgs():
|
||||||
def assignDefaults(args):
|
def assignDefaults(args):
|
||||||
if not args.NROOMS: args.NROOMS = args.NGAMES
|
if not args.NROOMS: args.NROOMS = args.NGAMES
|
||||||
if len(args.DICTS) == 0: args.DICTS.append('CollegeEng_2to8.xwd')
|
if len(args.DICTS) == 0: args.DICTS.append('CollegeEng_2to8.xwd')
|
||||||
args.LOGDIR = os.path.basename(sys.argv[0]) + '_logs'
|
args.LOGDIR = os.path.splitext(os.path.basename(sys.argv[0]))[0] + '_logs'
|
||||||
# Move an existing logdir aside
|
# Move an existing logdir aside
|
||||||
if os.path.exists(args.LOGDIR):
|
if os.path.exists(args.LOGDIR):
|
||||||
shutil.move(args.LOGDIR, '/tmp/' + args.LOGDIR + '_' + str(random.randint(0, 100000)))
|
shutil.move(args.LOGDIR, '/tmp/' + args.LOGDIR + '_' + str(random.randint(0, 100000)))
|
||||||
|
|
Loading…
Reference in a new issue