Skip to content

Merge dev15.7.x to dev15.7.x-vs-deps#24372

Merged
agocke merged 12 commits intodev15.7.x-vs-depsfrom
merges/dev15.7.x-to-dev15.7.x-vs-deps-20180122-080032
Jan 23, 2018
Merged

Merge dev15.7.x to dev15.7.x-vs-deps#24372
agocke merged 12 commits intodev15.7.x-vs-depsfrom
merges/dev15.7.x-to-dev15.7.x-vs-deps-20180122-080032

Conversation

@dotnet-bot
Copy link
Copy Markdown
Collaborator

This is an automatically generated pull request from dev15.7.x into dev15.7.x-vs-deps.

git fetch --all
git checkout merges/dev15.7.x-to-dev15.7.x-vs-deps-20180122-080032
git reset --hard upstream/dev15.7.x-vs-deps
git merge upstream/dev15.7.x
# Fix merge conflicts
git commit
git push merges/dev15.7.x-to-dev15.7.x-vs-deps-20180122-080032 --force

Once all conflicts are resolved and all the tests pass, you are free to merge the pull request.

JieCarolHu and others added 12 commits January 18, 2018 16:06
On MacOS pipes are implemented using Unix domain sockets. Unix domain
sockets must have a valid file path for their endpoint. The best place
is in the temp folder. Unfortunately, domain sockets on Unix also have a
very small path length limit of 104 characters. In addition, Mac temp
paths can be very long since they include randomly generated characters
from the OS. In total, this means that Roslyn has barely 50 characters
worth of space for its pipe identifiers.

This change cuts down on the bytes of the SHA256 hash used. This shouldn't
affect the security of the pipe, since the hash isn't used as a security boundary,
but should fit the pipe name into the length limitations.

Fixes #24137
Add a link to Tools>Options>…>Code Style to link to EditorConfig documentation. Bug#23513
…0180118-234432

Merge dev15.6.x to dev15.7.x
…0180119-080018

Merge dev15.6.x to dev15.7.x
@dotnet-bot dotnet-bot requested review from a team as code owners January 22, 2018 08:00
@agocke agocke merged commit 45d234e into dev15.7.x-vs-deps Jan 23, 2018
@agocke agocke deleted the merges/dev15.7.x-to-dev15.7.x-vs-deps-20180122-080032 branch January 23, 2018 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants