Aaaaah, this can't be possible ! Could you test the following and send back
the whole result ?
* open a python shell
* then
>>> import os
>>>
os.path.basename('C:\\jallib\\unvalidated\\include\\peripheral\\timer\\timer0_isr_interval.jal')
This should give:
'timer0_isr_interval.jal'
>>>
os.path.split('C:\\jallib\\unvalidated\\include\\peripheral\\timer\\timer0_isr_interval.jal')
should give:
('C:\\jallib\\unvalidated\\include\\peripheral\\timer',
'timer0_isr_interval.jal')
if not, python version ? Is it full moon ? Which cereals did you eat this
morning ?
Seb
2008/12/22 Joep Suijs <[email protected]>
>
> This basename thing does not work as expected:
>
> File:
> C:\jallib\unvalidated\include\peripheral\timer\timer0_isr_interval.jal
> 1 errors found
> ERROR: Filename is not lowercase:
> C:\jallib\unvalidated\include\peripheral\timer\timer0_isr_interval.jal
>
> 0 warnings found
> filename:
> 'C:\\jallib\\unvalidated\\include\\peripheral\\timer\\timer0_isr_interval.jal'
> now filename:
> 'C:\\jallib\\unvalidated\\include\\peripheral\\timer\\timer0_isr_interval.jal'
>
>
> Joep
>
> >
>
--
Sébastien Lelong
http://www.sirloon.net
http://sirbot.org
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"jallib" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/jallib?hl=en
-~----------~----~----~----~------~----~------~--~---
