[elephant-devel] a bug when not use elephant:*store-controller* when close-store

[Leslie P. Polzer]

Hi Jingtao,

the documentation for close-store says:

  If you pass a custom store controller,
  you are responsible for setting it to NIL.

Do you think this behavior should be changed?

  Leslie