views_init() : drupal_get_path() not defined for cached pages

I would add : _highly_ critical, since once you logged out, you can't access ?q=user/login to log in, and have to disable views module through the database

Turn page caching on.
Empty cache (devel module or plain sql "TRUNCATE TABLE cache").
Log out.
Go to any page : everything's fine
Hit F5 (or CTRL-F5 maybe ?) : Fatal error

Since no-one has confirmed yet on something so big, I'm beginnig to wonder if it's something weird in my own instal ?

Thanks :-)
BTW, could you remove the trailing spaces in views.module ?
They get in the way when you compare file versions / modifications
(other files seem OK)

Well, for instance line 218 in views.module is
" _views_sanitize_view($view); "
there's a useless space at the end of the line, which is not adviced in drupal coding style guideline.

Some editors (I use Zend Studio) automatically trim those spaces on file save / file close
Subsequent file comparison between local copy and cvs copy brings a "false positive", since the files are marked "different" when the only differences are these meaningless spaces.
They also come out when you make a patch, etc...

No big deal, really, but it just gets in the way...

Sorry, I guess I misunderstood your "how's that ?" comment.
I thought it was a request for explanations, when you actually had done the job.

Thx :-)