getDSSdata.py 文件源码

def get_txt_filename(i):
    txt_ext = False
    filename_list = []
    if arg_list[i][-3:].lower() == 'txt':
        filename = arg_list[i]
        filename = ''.join(filename)
        txt_ext = True
        i+=1
    while txt_ext == False:
        filename_list.append(arg_list[i])
        filename = ' '.join(filename_list)
        if arg_list[i][-3:].lower() == 'txt':
            txt_ext = True
        i+=1
    return filename, i