Hello, proxy-defpager is typically set on /servers/default-pager, but its permissions are by default 644, which makes it unusable by normal users, it'd need to be 755 (see the x check in the defpager source).
Apart from allowing users to eat memory, which they currently already can do anyway, is there any downside to making this 755 so people can mount their own tmpfs? Samuel
