But I think it caused a problem on my computer. That is the reason I
changed it.




2014-04-19 18:09 GMT-04:00 Marc-Alexandre Côté <notifications@github.com>:

> In scripts/smartDispatch.py:
>
> > @@ -129,15 +148,15 @@ def generate_name(arguments, max_length=255):
> >          name += argname if name == '' else ('__' + argname)
> >
> >      current_time = datetime.datetime.now().strftime('%Y-%m-%d_%H-%M-%S')
> > -    name = current_time + ' ' + name[:max_length-len(current_time)-1]  # No more than 256 character
>
> Maybe on old systems. Linux systems support them very well nowadays.
> Please use space.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/SMART-Lab/smartDispatch/pull/19/files#r11795927>
> .
>



-- 
------------------------------------------------------------------------------------------------------
*Wir mussen wissen, Wir werden wissen.*
*                                  ——David Hilbert(1862～1943)*